From 094c8e254abde44d45097aca7a36203704fe2ef4 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 26 Apr 2019 17:20:20 +0100
Subject: Fix some broken interpreter tests

---
 test/c/assign_rename_bug.sail | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'test/c')

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}
-- 
cgit v1.2.3