From 0d5a7028abcd382b5ea5e1ac60c06c4b7fc39834 Mon Sep 17 00:00:00 2001
From: Dino Distefano <ddino@fb.com>
Date: Tue, 20 Nov 2018 04:01:55 -0800
Subject: [PATCH] Removing unnecessary printing

Reviewed By: jvillard

Differential Revision: D13137385

fbshipit-source-id: 92c6d379c
---
 infer/src/checkers/cost.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/checkers/cost.ml b/infer/src/checkers/cost.ml
index 0691b18cb..b28c92b97 100644
--- a/infer/src/checkers/cost.ml
+++ b/infer/src/checkers/cost.ml
@@ -790,8 +790,8 @@ let checker ({Callbacks.tenv; proc_desc} as callback_args) : Summary.t =
          {basic_cost_map= invariant_map_NodesBasicCost; get_node_nb_exec; summary})
   with
   | Some (exit_cost, _) ->
-      L.internal_error "@\n[COST ANALYSIS] PROCEDURE '%a' |CFG| = %i FINAL COST = %a @\n"
-        Typ.Procname.pp
+      L.(debug Analysis Verbose)
+        "@\n[COST ANALYSIS] PROCEDURE '%a' |CFG| = %i FINAL COST = %a @\n" Typ.Procname.pp
         (Procdesc.get_proc_name proc_desc)
         (Container.length ~fold:NodeCFG.fold_nodes node_cfg)
         BasicCost.pp exit_cost ;