From 1bb5fcf93261f2de51909ff51bf229d21e4b13a6 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 14 Jun 2018 16:37:31 +0100
Subject: rename all lem support files to sail2_foo to avoid conflict with
 sail1 in rmem

---
 src/bytecode_util.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/bytecode_util.ml')

diff --git a/src/bytecode_util.ml b/src/bytecode_util.ml
index 96513d7f..27d4d5a2 100644
--- a/src/bytecode_util.ml
+++ b/src/bytecode_util.ml
@@ -124,14 +124,14 @@ let ijump ?loc:(l=Parse_ast.Unknown) cval label =
 (**************************************************************************)
 
 let string_of_value = function
-  | V_bits bs -> Sail_values.show_bitlist bs ^ "ul"
+  | V_bits bs -> Sail2_values.show_bitlist bs ^ "ul"
   | V_int i -> Big_int.to_string i ^ "l"
   | V_bool true -> "true"
   | V_bool false -> "false"
   | V_null -> "NULL"
   | V_unit -> "UNIT"
-  | V_bit Sail_values.B0 -> "0ul"
-  | V_bit Sail_values.B1 -> "1ul"
+  | V_bit Sail2_values.B0 -> "0ul"
+  | V_bit Sail2_values.B1 -> "1ul"
   | V_string str -> "\"" ^ str ^ "\""
   | V_ctor_kind str -> "Kind_" ^ Util.zencode_string str
   | _ -> failwith "Cannot convert value to string"
-- 
cgit v1.2.3