From 472097b3fb486d474a427427c1c38298a2ee1fc3 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 10 Jul 2018 15:00:25 +0100
Subject: disable printing when compiling to Lem to keep rmem happy

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

(limited to 'src')

diff --git a/src/gen_lib/sail2_values.lem b/src/gen_lib/sail2_values.lem
index 003eedc7..fd742fb1 100644
--- a/src/gen_lib/sail2_values.lem
+++ b/src/gen_lib/sail2_values.lem
@@ -47,7 +47,7 @@ let power_real b e = realPowInteger b e*)
 
 val print_endline : string -> unit
 let print_endline _ = ()
-declare ocaml target_rep function print_endline = `print_endline`
+(* declare ocaml target_rep function print_endline = `print_endline` *)
 
 val prerr_endline : string -> unit
 let prerr_endline _ = ()
-- 
cgit v1.2.3