diff options
Diffstat (limited to 'src/bytecode_util.ml')
| -rw-r--r-- | src/bytecode_util.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bytecode_util.ml b/src/bytecode_util.ml index 3e674cfd..fa41e1e1 100644 --- a/src/bytecode_util.ml +++ b/src/bytecode_util.ml @@ -136,6 +136,7 @@ let rec frag_rename from_id to_id = function (**************************************************************************) let string_of_value = function + | V_bits [] -> "UINT64_C(0)" | V_bits bs -> "UINT64_C(" ^ Sail2_values.show_bitlist bs ^ ")" | V_int i -> Big_int.to_string i ^ "l" | V_bool true -> "true" |