From c2161f3c28bc679a554e934ed4c1cf59a8d62b7a Mon Sep 17 00:00:00 2001
From: Radu Grigore <rgrigore@fb.com>
Date: Wed, 12 Feb 2020 10:33:55 -0800
Subject: [PATCH] [topl] Minor: debug message more accurate.

Reviewed By: ngorogiannis

Differential Revision: D19514567

fbshipit-source-id: 7043675e9
---
 infer/src/topl/Topl.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/infer/src/topl/Topl.ml b/infer/src/topl/Topl.ml
index 52052222c..43ea6a98b 100644
--- a/infer/src/topl/Topl.ml
+++ b/infer/src/topl/Topl.ml
@@ -256,9 +256,8 @@ let add_errors exe_env summary =
             if (not (is_inconsistent env phi)) && is_inconsistent env psi then (
               let property, _vname = ToplAutomaton.vname (Lazy.force automaton) error in
               let message = Printf.sprintf "property %s reaches error" property in
-              tt "INCONSISTENT (WARN)@\n" ;
+              tt "WARN@\n" ;
               Reporting.log_error summary IssueType.topl_error ~loc message )
-            else tt "CONSISTENT (do NOT warn)@\n"
           in
           (* Don't warn if [lookup_static_var] fails. *)
           Option.iter ~f:handle_state_post_value (lookup_static_var env state_var post)