[hack] Move some models logging to debug only to avoid log spew

Summary: Move some models logging to debug only to avoid log spew Reviewed By: nbenton Differential Revision: D62181619 fbshipit-source-id: ae1e140212bad0c3bc69ba8aec8546600536a4c1
facebook · Sep 4, 2024 · 4673e6a · 4673e6a
1 parent 19550b5
commit 4673e6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/infer/src/pulse/PulseModelsHack.ml b/infer/src/pulse/PulseModelsHack.ml
@@ -1452,7 +1452,7 @@ let check_against_type_struct v tdict : DSL.aval DSL.model_monad =
     | None ->
         L.d_printfln "didn't get known integer tag in check against type struct" ;
         let* md = get_data in
-        L.internal_error "known tag failure tdict is %a at %a" AbstractValue.pp (fst tdict)
+        L.d_printfln "known tag failure tdict is %a at %a" AbstractValue.pp (fst tdict)
           Location.pp_file_pos md.location ;
         ret None
     | Some k -> (