diff options
| author | Kathy Gray | 2016-01-14 10:48:42 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-14 10:48:42 +0000 |
| commit | a34ea51ba919fdc40235ed141b8175115452e23e (patch) | |
| tree | 3bbc7043e721f57f93e47fb321276b97d8fa2c45 | |
| parent | bc9bf7487660c47fcc7ac5b521d56d22fc6f0ba7 (diff) | |
small edit to previous commit
| -rw-r--r-- | src/rewriter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 899bea85..88d2f451 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -1089,7 +1089,7 @@ let rewrite_exp_lift_assign_intro rewriters nmap ((E_aux (exp,(l,annot))) as ful set_exp, E_aux (E_block res, (Parse_ast.Generated l, (simple_annot_efr unit_t effects)))), (Parse_ast.Generated l, simple_annot_efr unit_t unioneffs))],unioneffs))) - (E_aux(E_if(c',t',e'),(Parse_ast.Generated l, annot))::exps',eff_union_exps exps') new_vars) + (E_aux(E_if(c',t',e'),(Parse_ast.Generated l, annot))::exps',eff_union_exps (c'::t'::e'::exps')) new_vars) | e::exps -> (rewrite_rec e)::(walker exps) in rewrap (E_block (walker exps)) |