[cost] reduce noise

Reviewed By: mbouaziz Differential Revision: D15063200 fbshipit-source-id: cb5526202
6 years ago · cbf0d00d09
parent 06caabd50d
commit cbf0d00d09
1 changed files with 1 additions and 1 deletions
--- 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" ;