From 2d7d954fe4f0bd3b1bac2afa3801f89ca23f25ed Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Tue, 25 Oct 2016 14:47:03 +0100
Subject: fix my decode_to_istate bug

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index dad84a5c..cb5868ea 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -647,7 +647,7 @@ let decode_to_instruction top_level registers value : instruction_or_decode_erro
                   (Interp_ast.Unknown, Nothing)) 
                top_env Interp.eenv (Interp.emem "decode second top level") Interp.Top) Nothing) in
       match (instr_decoded_error) with
-        | Ivh_value instr -> IDE_instr instr_external instr
+        | Ivh_value _ -> IDE_instr instr_external instr
         | Ivh_value_after_exn v ->
           Assert_extra.failwith "supported_instructions called exit, so support will be needed for that now"
         | Ivh_error err -> IDE_decode_error err
-- 
cgit v1.2.3