From 6fa9b995e5404e1417e8f2fca6bfa9b98c095c47 Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Thu, 21 Jan 2016 10:08:12 -0800 Subject: [PATCH] no longer catching Class_structure_exception Reviewed By: jeremydubreil Differential Revision: D2843010 fb-gh-sync-id: bf09fef --- infer/src/java/jClasspath.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml index 58e1eb480..145c56f6a 100644 --- a/infer/src/java/jClasspath.ml +++ b/infer/src/java/jClasspath.ml @@ -185,7 +185,6 @@ let load_sources_and_classes () = | JVerbose.Classpath parsed_paths -> loop parsed_paths roots sources classes with - | JBasics.Class_structure_error _ | Parsing.Parse_error | Invalid_argument _ | Failure "lexing: empty token" -> loop paths roots sources classes