diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml index 47bcd005a..6fa44b4f7 100644 --- a/infer/src/java/jClasspath.ml +++ b/infer/src/java/jClasspath.ml @@ -283,7 +283,7 @@ let lookup_node cn program = | JBasics.No_class_found _ -> (* TODO T28155039 Figure out when and what to log *) None - | (JBasics.Class_structure_error _ | Invalid_argument _) as exn -> + | (JBasics.Class_structure_error _ | Invalid_argument _ | Failure _) as exn -> L.internal_error "ERROR: %s@." (Exn.to_string exn) ; None )