diff options
Diffstat (limited to 'src/value.ml')
| -rw-r--r-- | src/value.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/value.ml b/src/value.ml index 82647860..6f5148e4 100644 --- a/src/value.ml +++ b/src/value.ml @@ -100,7 +100,7 @@ let coerce_bit = function let is_bit = function | V_bit _ -> true | _ -> false - + let rec string_of_value = function | V_vector vs when List.for_all is_bit vs -> Sail_lib.string_of_bits (List.map coerce_bit vs) | V_vector vs -> "[" ^ Util.string_of_list ", " string_of_value vs ^ "]" |