diff options
| author | Alasdair Armstrong | 2019-06-04 16:37:48 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-04 16:37:48 +0100 |
| commit | 6d3a6edcd616621eb40420cfb16a34762a32c5c1 (patch) | |
| tree | d3a753af05b4a3d40a5ce0c6eb7711770105caba /src/constant_propagation.ml | |
| parent | e24587857d1e61b428d784c699a683984c00ce36 (diff) | |
| parent | 239e13dc149af80f979ea95a3c9b42220481a0a1 (diff) | |
Merge branch 'sail2' into separate_bv
Diffstat (limited to 'src/constant_propagation.ml')
| -rw-r--r-- | src/constant_propagation.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/constant_propagation.ml b/src/constant_propagation.ml index 89a4ba82..201e43e7 100644 --- a/src/constant_propagation.ml +++ b/src/constant_propagation.ml @@ -387,9 +387,6 @@ let const_props defs ref_vars = | E_block es -> let es',assigns = threaded_map (const_prop_exp substs) assigns es in re (E_block es') assigns - | E_nondet es -> - let es',assigns = non_det_exp_list es in - re (E_nondet es') assigns | E_id id -> let env = Type_check.env_of_annot (l, annot) in (try |