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

---
 src/value.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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