From bc45d2b2329e7e9be6ac30e9afc202d105f2ae28 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Mon, 18 Aug 2014 15:55:08 +0100
Subject: wib?

---
 src/lem_interp/interp_inter_imp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3