diff options
| author | Alasdair Armstrong | 2019-04-26 17:20:20 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-26 17:20:20 +0100 |
| commit | 094c8e254abde44d45097aca7a36203704fe2ef4 (patch) | |
| tree | c38fa2db7f554209be9ec0c11f87813c0b028d52 /test/c | |
| parent | 383bf94704813ad3f417b6eaf59d329388ff5af6 (diff) | |
Fix some broken interpreter tests
Diffstat (limited to 'test/c')
| -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} |