From 3ee583761a8b7801d0870c0b47e050ac5c8851cd Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 2 Aug 2017 14:24:52 +0100
Subject: fix sail library test interpreter glue for API change. Also fix
 build_context val spec which was out of dated although lem did not complain
 for some reason...

---
 src/test/lib/run_test_interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/lib/run_test_interp.ml b/src/test/lib/run_test_interp.ml
index 3446ef9f..5f2ace1b 100644
--- a/src/test/lib/run_test_interp.ml
+++ b/src/test/lib/run_test_interp.ml
@@ -45,7 +45,7 @@ open Interp_inter_imp ;;
 open Sail_impl_base ;;
 
 let doit () =
-  let context = build_context Test_lem_ast.defs [] [] [] [] [] [] [] None [] in
+  let context = build_context false Test_lem_ast.defs [] [] [] [] [] [] [] None [] in
   translate_address context E_little_endian "run" None (address_of_integer (Nat_big_num.of_int 0));;
 
 doit () ;;
-- 
cgit v1.2.3