diff options
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" |