From 16fe6613b5ecd93a36234daf8a3c4bc221da6abc Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 2 Oct 2014 11:04:25 +0100
Subject: correct renaming typo

---
 src/lem_interp/instruction_extractor.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/instruction_extractor.lem b/src/lem_interp/instruction_extractor.lem
index 329073f0..5474566d 100644
--- a/src/lem_interp/instruction_extractor.lem
+++ b/src/lem_interp/instruction_extractor.lem
@@ -41,8 +41,8 @@ let rec extract_effects_of_fcl id execute = match execute with
   | FCL_aux (FCL_Funcl _ (P_aux (P_app (Id_aux (Id i) _) _) _) _) (_,(Just(_,_,_,Effect_aux(Effect_set efs) _))) :: executes ->
     if i = id 
     then efs
-    else extract_effects_of_pat id executes
-  | _::executes -> extract_effects_of_pat id executes
+    else extract_effects_of_fcl id executes
+  | _::executes -> extract_effects_of_fcl id executes
 end
 
 let rec extract_effects instrs execute = 
-- 
cgit v1.2.3