diff options
Diffstat (limited to 'src/lem_interp/run_interp.ml')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 45768966..7e992e3a 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -214,7 +214,7 @@ let run ?(reg=Reg.empty) ?(mem=Mem.empty) (name, test) = - let mode = {eager_eval = false} in + let mode = {eager_eval = true} in let rec loop env = function | Value (v, _) -> debugf "%s: returned %s\n" name (val_to_string v); true, env | Action (a, s) -> |