From 179da2c7c29265cee601b5cb1956e18699cedd3f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Nov 2014 15:38:17 +0000
Subject: typo

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

(limited to 'src')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 768ef2de..3c076eae 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -30,7 +30,7 @@ end
 		   
 let intern_value v = match v with
   | Bitvector [true] _ _ -> Interp.V_lit (L_aux L_one Interp_ast.Unknown)
-  | Bitvector [false] _ _ -> Interp.V_lit (L_aux L_(*TODO KG Needs to be an actualy error, as must mean that a variable is multiplied by a variable, somewhere *)zero Interp_ast.Unknown)
+  | Bitvector [false] _ _ -> Interp.V_lit (L_aux L_zero Interp_ast.Unknown)
   | Bitvector bs inc fst   -> Interp.V_vector fst inc  (to_bits bs)
   | Bytevector bys -> Interp.V_vector 0 true 
     (List.concat (List.map (fun by -> 
-- 
cgit v1.2.3