From 64055dd17cc7a67e767665c98c19b2f6c79baafa Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 13 Aug 2014 18:14:42 +0100
Subject: FInd/fix a redundant case now that warnings are manageable

---
 src/lem_interp/interp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

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 
-- 
cgit v1.2.3