diff options
| author | Alasdair Armstrong | 2019-05-07 14:56:39 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-07 15:10:09 +0100 |
| commit | 61f9f9d7ee1e4113b960151b1521efcaddd037b0 (patch) | |
| tree | 3446ed238c47f0a3711d45f77b77885462741e92 /src/constant_fold.ml | |
| parent | 39168f905eb9e671813cfc43309ddae44828123a (diff) | |
| parent | 3894c4b60b676a255a8b0bd2ee1c126612b1f186 (diff) | |
Merge branch 'sail2' into smt_experiments
Diffstat (limited to 'src/constant_fold.ml')
| -rw-r--r-- | src/constant_fold.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index f2e0add5..4c26b641 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -189,10 +189,7 @@ let rec run frame = *) let initial_state ast env = - let lstate, gstate = - Interpreter.initial_state ast env safe_primops - in - (lstate, { gstate with Interpreter.allow_registers = false }) + Interpreter.initial_state ~registers:false ast env safe_primops let rw_exp ok not_ok istate = let evaluate e_aux annot = |