From 3b3970b11f2ad0809b02f6017a9f7736192c5879 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 23 Jan 2017 13:51:35 +0000
Subject: remove taint printing

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

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index ce9d6ee0..51e8fd8e 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -111,7 +111,7 @@ let rec {ocaml} string_of_value v = match v with
   | V_unknown -> "Unknown"
   | V_register r -> string_of_reg_form r
   | V_register_alias _ _ -> "register_as_alias"
-  | V_track v rs -> "tainted by {" ^ (list_to_string string_of_reg_form "," []) ^ "} --" ^ (string_of_value v)
+  | V_track v rs -> (*"tainted by {" ^ (list_to_string string_of_reg_form "," []) ^ "} --" ^*) (string_of_value v)
 end
 let ~{ocaml} string_of_value _ = ""
 
-- 
cgit v1.2.3