From 747ce71ad0c19ed9ab3a3162a67a96b6bb12c09b Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 18 Apr 2020 20:58:21 +0100
Subject: Fix sub_bits interpreter binding

---
 lib/vector_dec.sail | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail
index eaea2c99..32443560 100644
--- a/lib/vector_dec.sail
+++ b/lib/vector_dec.sail
@@ -146,6 +146,7 @@ overload operator + = {add_bits, add_bits_int}
 
 val sub_bits = {
   ocaml: "sub_vec",
+  interpreter: "sub_vec",
   lem: "sub_vec",
   c: "sub_bits",
   coq: "sub_vec"
-- 
cgit v1.2.3