diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/instruction_extractor.lem | 4 |
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 = |