correct renaming typo

1 files changed, 2 insertions, 2 deletions

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 =