From b0584ce1fea8c5df5e8e84269d9ec4bee5e5b90d Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 2 Feb 2018 16:17:50 +0000
Subject: Move exp_lift_assign rewrite after fixing effects and retypechecking

---
 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 d7ea8b1a..25fe9e03 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -2958,10 +2958,10 @@ let rewrite_defs_lem = [
   ("remove_bitvector_pats", rewrite_defs_remove_bitvector_pats);
   ("remove_numeral_pats", rewrite_defs_remove_numeral_pats);
   ("guarded_pats", rewrite_defs_guarded_pats);
-  ("exp_lift_assign", rewrite_defs_exp_lift_assign);
   (* ("register_ref_writes", rewrite_register_ref_writes); *)
   ("fix_val_specs", rewrite_fix_val_specs);
   ("recheck_defs", recheck_defs);
+  ("exp_lift_assign", rewrite_defs_exp_lift_assign);
   (* ("constraint", rewrite_constraint); *)
   (* ("remove_assert", rewrite_defs_remove_assert); *)
   ("top_sort_defs", top_sort_defs);
-- 
cgit v1.2.3