From fd09f1bfc9baaa7a0ce8339f8b8dbe350d8d5046 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 1 Jul 2019 05:14:17 -0700 Subject: [PATCH] [java] fix classpath order Reviewed By: jvillard Differential Revision: D16048382 fbshipit-source-id: 1fda1c36a --- infer/src/java/jClasspath.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/java/jClasspath.ml b/infer/src/java/jClasspath.ml index 311ab769a..a26f9df58 100644 --- a/infer/src/java/jClasspath.ml +++ b/infer/src/java/jClasspath.ml @@ -228,9 +228,9 @@ let load_from_arguments classes_out_path = List.fold ~f:append_path ~init:classpath (List.rev path_list) in let classpath = - combine (split Config.classpath) "" + combine (split Config.bootclasspath) "" + |> combine (split Config.classpath) |> combine (String.Set.elements roots) - |> combine (split Config.bootclasspath) in (classpath, search_sources (), classes)