diff options
| author | Jon French | 2018-06-14 16:37:31 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-14 16:37:31 +0100 |
| commit | 1bb5fcf93261f2de51909ff51bf229d21e4b13a6 (patch) | |
| tree | 85dad0aa6f1d29ede74aa5ec929552be7898653a /src/bytecode_util.ml | |
| parent | b58c7dd97ab2a22002cc34ab25a558057834c31c (diff) | |
rename all lem support files to sail2_foo to avoid conflict with sail1 in rmem
Diffstat (limited to 'src/bytecode_util.ml')
| -rw-r--r-- | src/bytecode_util.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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" |