diff options
| author | Peter Sewell | 2014-08-18 15:55:08 +0100 |
|---|---|---|
| committer | Peter Sewell | 2014-08-18 15:55:08 +0100 |
| commit | bc45d2b2329e7e9be6ac30e9afc202d105f2ae28 (patch) | |
| tree | 5a16f802129b5f233ff0480626238afd0e657cc7 /src | |
| parent | 21e83476d266fbd951d397ca3b58bf6385ab5f54 (diff) | |
wib?
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index 6ab8d41c..8a5bd664 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -130,5 +130,5 @@ let rec ie_loop mode i_state = end ;; let interp_exhaustive i_state = - let mode = <| eager_eval = false; track_values = false |>in + let mode = <| Interp.eager_eval = true; Interp.track_values = false |>in ie_loop mode i_state |