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