From 75d2674a4566a62faeb781a4bf425704e50a9132 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Wed, 9 Dec 2020 01:04:08 -0800
Subject: [PATCH] [biabduction] reduce logging noise

Summary: Type environment failures lead to too much noise.

Reviewed By: jvillard

Differential Revision: D25397482

fbshipit-source-id: 6588102a7
---
 infer/src/biabduction/Abs.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/infer/src/biabduction/Abs.ml b/infer/src/biabduction/Abs.ml
index 13f82593f..c63d4f9ac 100644
--- a/infer/src/biabduction/Abs.ml
+++ b/infer/src/biabduction/Abs.ml
@@ -486,10 +486,10 @@ let typ_get_recursive_flds tenv typ_exp =
       | Some {fields} ->
           List.map ~f:fst3 (List.filter ~f:(filter typ) fields)
       | None ->
-          L.(debug Analysis Quiet)
-            "@\ntyp_get_recursive_flds: unexpected %a unknown struct type: %a@." Exp.pp typ_exp
+          L.(debug Analysis Verbose)
+            "@\ntyp_get_recursive_flds: unexpected %a unknown struct type: %a@\n" Exp.pp typ_exp
             Typ.Name.pp name ;
-          [] (* ToDo: assert false *) )
+          [] )
     | Tint _ | Tvoid | Tfun | Tptr _ | Tfloat _ | Tarray _ | TVar _ ->
         [] )
   | Exp.Var _ ->