From 11ac94c4b270bf8bc1c0d1aa1a852f36f0790b9b Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 15 May 2018 17:46:10 +0100
Subject: rewrite_defs_guarded_pats: guards deserve rewriting too

---
 src/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index bba14651..b23af46a 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -1501,7 +1501,7 @@ let rewrite_exp_guarded_pats rewriters (E_aux (exp,(l,annot)) as full_exp) =
     | Pat_aux (Pat_exp (pat, body), annot) ->
       (pat, None, rewrite_rec body, annot)
     | Pat_aux (Pat_when (pat, guard, body), annot) ->
-      (pat, Some guard, rewrite_rec body, annot) in
+      (pat, Some (rewrite_rec guard), rewrite_rec body, annot) in
     let clauses = rewrite_guarded_clauses l (List.map clause ps) in
     if (effectful e) then
       let e = rewrite_rec e in
-- 
cgit v1.2.3