diff options
| author | Kathy Gray | 2014-08-13 18:14:42 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-13 18:14:42 +0100 |
| commit | 64055dd17cc7a67e767665c98c19b2f6c79baafa (patch) | |
| tree | e5465695b3e2f18318bad321c15af6a0ea86d388 /src | |
| parent | f73f974801c12df01542a8372af6309b83c17d40 (diff) | |
FInd/fix a redundant case now that warnings are manageable
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 |