From ab4b9ca4f7cab45b6a2a13d0ef125dcf9c276a06 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 11 Dec 2018 19:54:14 +0000
Subject: Fix all tests with type checking changes

---
 src/bytecode_util.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/bytecode_util.ml')

diff --git a/src/bytecode_util.ml b/src/bytecode_util.ml
index c7fdc62d..3ced48b6 100644
--- a/src/bytecode_util.ml
+++ b/src/bytecode_util.ml
@@ -67,6 +67,9 @@ let instr_number () =
 let idecl ?loc:(l=Parse_ast.Unknown) ctyp id =
   I_aux (I_decl (ctyp, id), (instr_number (), l))
 
+let ireset ?loc:(l=Parse_ast.Unknown) ctyp id =
+  I_aux (I_reset (ctyp, id), (instr_number (), l))
+
 let iinit ?loc:(l=Parse_ast.Unknown) ctyp id cval =
   I_aux (I_init (ctyp, id, cval), (instr_number (), l))
 
-- 
cgit v1.2.3