From 04f95f5bac9401c84fd401bd130d9e19b34c2a5c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 24 Jan 2019 14:48:31 +0000
Subject: Make recheck_defs_without_effects restore old flag properly

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

(limited to 'src')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 39f753ef..19ec6db7 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -4966,9 +4966,10 @@ let rewrite_explicit_measure (Defs defs) =
 
 let recheck_defs defs = fst (Type_error.check initial_env defs)
 let recheck_defs_without_effects defs =
+  let old = !opt_no_effects in
   let () = opt_no_effects := true in
   let result,_ = Type_error.check initial_env defs in
-  let () = opt_no_effects := false in
+  let () = opt_no_effects := old in
   result
 
 let remove_mapping_valspecs (Defs defs) =
-- 
cgit v1.2.3