diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/c/assign_rename_bug.sail | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/c/assign_rename_bug.sail b/test/c/assign_rename_bug.sail index 8b74df2a..f9650b85 100644 --- a/test/c/assign_rename_bug.sail +++ b/test/c/assign_rename_bug.sail @@ -7,9 +7,8 @@ $include <vector_dec.sail> $include <exception_basic.sail> val sub_vec_int = { - ocaml: "sub_vec_int", - lem: "sub_vec_int", - c: "sub_bits_int" + c: "sub_bits_int", + _: "sub_vec_int" } : forall 'n. (bits('n), int) -> bits('n) overload operator - = {sub_vec_int} |