From f1397ce24a104ec455105abe3d32b9d4f4f52819 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 19 Oct 2016 16:12:04 +0100
Subject: fix

---
 src/lem_interp/interp_inter_imp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index ebe02cee..96622dc2 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -449,7 +449,7 @@ let value_of_instruction_param direction (name,typ,v) =
     | _ -> Assert_extra.failwith "intern_ifield did not return vector"
   end in v
 
-let intern_instruction direction (name,parms,_) =
+let intern_instruction direction (name,parms) =
   Interp.V_ctor (Interp.id_of_string name) (T_id "ast") Interp.C_Union
     (Interp.V_tuple (List.map (value_of_instruction_param direction) parms))
 
-- 
cgit v1.2.3