diff options
| author | Peter Sewell | 2014-10-28 11:26:18 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-10-28 11:26:18 +0000 |
| commit | f17189489ca6fedf9e73a32c9ef219f98dc3150c (patch) | |
| tree | 7a466a9ba6ad84f16af52b82f0cfe1818637ec44 /src | |
| parent | 8b5e58c209568db825335ecef0ffb93f18a3e196 (diff) | |
K,P fix constructor-as-variable error
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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 |