From 52382d4e8fc4edab67bf01080087fb12c88fbed4 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 21 Mar 2019 14:52:03 +0000
Subject: Revert some constant propagation experimentation

See comments on e92ff687.
---
 src/constant_propagation.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/constant_propagation.ml b/src/constant_propagation.ml
index ea0e50f9..1a39b2a1 100644
--- a/src/constant_propagation.ml
+++ b/src/constant_propagation.ml
@@ -546,10 +546,10 @@ let const_props defs ref_vars =
     (* TODO maybe - tuple assignments *)
     | E_assign (le,e) ->
        let env = Type_check.env_of_annot (l, annot) in
-       let e',_ = const_prop_exp substs assigns e in
        let assigned_in = IdSet.union (assigned_vars_in_lexp le) (assigned_vars e) in
        let assigns = isubst_minus_set assigns assigned_in in
        let le',idopt = const_prop_lexp substs assigns le in
+       let e',_ = const_prop_exp substs assigns e in
        let assigns =
          match idopt with
          | Some id ->
-- 
cgit v1.2.3