From 8ab9a6c7147f96c4b6d30ef52e3698e4953e55b3 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Tue, 6 Sep 2016 13:25:09 -0700 Subject: [PATCH] remove some commented logging code Reviewed By: jeremydubreil Differential Revision: D3822731 fbshipit-source-id: b6f5849 --- infer/src/unit/analyzerTester.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/infer/src/unit/analyzerTester.ml b/infer/src/unit/analyzerTester.ml index c1c563f44..6158fadc5 100644 --- a/infer/src/unit/analyzerTester.ml +++ b/infer/src/unit/analyzerTester.ml @@ -253,8 +253,6 @@ module Make let post_str = try let state = M.find node_id inv_map in - (*L.stderr "post is %a@." I.A.pp state.post; - L.stderr "and with sparse pringer: %a@." pp_state state.post;*) pp_to_string pp_state state.post with Not_found -> "_|_" in if inv_str <> post_str then