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)