diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 201bd0cc..cbbbc091 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -1257,7 +1257,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = (interp_main mode t_level l_env lm tl) (fun tlv lm le -> match tlv with | V_list t -> (Value(V_list (hdv::t)),lm,le) - | V_unknwon -> (Value V_unknown,lm,le) + | V_unknown -> (Value V_unknown,lm,le) | V_track (V_list t) r -> (Value (V_track (V_list (hdv::t)) r),lm,le) | _ -> (Error l ":: of non-list value",lm,le) end) (fun a -> update_stack a |