diff options
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
| -rw-r--r-- | src/lem_interp/run_interp_model.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp_model.ml b/src/lem_interp/run_interp_model.ml index 28d0d862..8a047a5b 100644 --- a/src/lem_interp/run_interp_model.ml +++ b/src/lem_interp/run_interp_model.ml @@ -206,7 +206,7 @@ let run interact mode env stack | "e" | "exh" | "exhaust" -> debugf "interpreting exhaustively from current state\n"; - let events = interp_exhaustive stack in + let events = interp_exhaustive None stack in debugf "%s" (format_events events); interact mode env stack | "c" | "cont" | "continuation" -> |