diff options
Diffstat (limited to 'src')
| -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 279d3aba..45767d50 100644 --- a/src/value.ml +++ b/src/value.ml @@ -375,7 +375,7 @@ let value_add_vec_int = function let value_sub_vec_int = function | [v1; v2] -> mk_vector (Sail_lib.sub_vec_int (coerce_bv v1, coerce_int v2)) - | _ -> failwith "value add_vec_int" + | _ -> failwith "value sub_vec_int" let value_add_vec = function | [v1; v2] -> mk_vector (Sail_lib.add_vec (coerce_bv v1, coerce_bv v2)) |