From a8a8501243742c27b7cec8e6cbf9d5c26d668d70 Mon Sep 17 00:00:00 2001
From: jrm <jrm@fb.com>
Date: Mon, 15 Jun 2015 07:14:01 -0700
Subject: [PATCH] [infer][Java] fail early when no Java source can be loaded

---
 infer/src/java/jMain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/java/jMain.ml b/infer/src/java/jMain.ml
index d65015bc9..ad7e843de 100644
--- a/infer/src/java/jMain.ml
+++ b/infer/src/java/jMain.ml
@@ -164,6 +164,6 @@ let do_all_files classpath sources classes =
 let () =
   let classpath, sources, classes = JClasspath.load_sources_and_classes () in
   if StringMap.is_empty sources then
-    print_endline "TODO: print error message"
+    failwith "Failed to load any Java source code"
   else
     do_all_files classpath sources classes