diff options
| author | Kathy Gray | 2017-01-23 13:51:35 +0000 |
|---|---|---|
| committer | Kathy Gray | 2017-01-23 13:51:35 +0000 |
| commit | 3b3970b11f2ad0809b02f6017a9f7736192c5879 (patch) | |
| tree | 9b1df4a131bef586fd3cdcb3517a0a51af754bf7 /src | |
| parent | 02b0523471b836eaadbe0d41c124e175110ea791 (diff) | |
remove taint printing
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 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 _ = "" |