From cbf0d00d09618af42a89b5f82776b1fdb53da90d Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Wed, 24 Apr 2019 06:22:01 -0700
Subject: [PATCH] [cost] reduce noise

Reviewed By: mbouaziz

Differential Revision: D15063200

fbshipit-source-id: cb5526202
---
 infer/src/checkers/cost.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/checkers/cost.ml b/infer/src/checkers/cost.ml
index b383ebb1d..15b2c559c 100644
--- a/infer/src/checkers/cost.ml
+++ b/infer/src/checkers/cost.ml
@@ -98,7 +98,7 @@ module BoundMap = struct
               let bound =
                 match entry_mem with
                 | Bottom ->
-                    L.internal_error
+                    L.debug Analysis Medium
                       "@\n\
                        [COST ANALYSIS INTERNAL WARNING:] No 'env' found. This location is \
                        unreachable returning cost 0 \n" ;