From 82d5f420cbade62db7a1ae233a093122cddc5ae3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 15 Nov 2017 18:50:19 +0000
Subject: Simplify flow typing code in typechecker

---
 lib/ocaml_rts/sail_lib.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml
index 6876ec35..e3a77edf 100644
--- a/lib/ocaml_rts/sail_lib.ml
+++ b/lib/ocaml_rts/sail_lib.ml
@@ -441,6 +441,9 @@ let sqrt_real x = real_of_string (string_of_float (sqrt (Num.float_of_num x)))
 let print_int (str, x) =
   prerr_endline (str ^ string_of_big_int x)
 
+let print_bits (str, xs) =
+  prerr_endline (str ^ string_of_bits xs)
+
 let reg_deref r = !r
 
 let string_of_zbit = function
-- 
cgit v1.2.3