From f17189489ca6fedf9e73a32c9ef219f98dc3150c Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 28 Oct 2014 11:26:18 +0000
Subject: K,P fix constructor-as-variable error

---
 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 4dea7217..fa1c0ae0 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -211,7 +211,7 @@ end
 
 let rec find_instruction i = function
   | [] -> Nothing
-  | Skipped::instrs -> find_instruction i instrs
+  | Instruction_extractor.Skipped::instrs -> find_instruction i instrs
   | ((Instruction_extractor.Instr_form name parms effects) as instr)::instrs ->
       if i = name
       then Just instr
-- 
cgit v1.2.3