diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compmisc.ml | 3 | ||||
| -rw-r--r-- | driver/compplugin.ml | 2 |
2 files changed, 2 insertions, 3 deletions
diff --git a/driver/compmisc.ml b/driver/compmisc.ml index 8f728e292f..7cf81f2e2f 100644 --- a/driver/compmisc.ml +++ b/driver/compmisc.ml @@ -34,8 +34,7 @@ let init_path ?(dir="") native = in let exp_dirs = List.map (Misc.expand_directory Config.standard_library) dirs in - Config.load_path := dir :: - List.rev_append exp_dirs (Clflags.std_include_dir ()); + Load_path.init (dir :: List.rev_append exp_dirs (Clflags.std_include_dir ())); Env.reset_cache () (* Return the initial environment in which compilation proceeds. *) diff --git a/driver/compplugin.ml b/driver/compplugin.ml index 42f3177413..ad29cc9158 100644 --- a/driver/compplugin.ml +++ b/driver/compplugin.ml @@ -28,7 +28,7 @@ let load plugin_name = if Filename.is_implicit plugin_name then try Compmisc.init_path !Clflags.native_code; - Misc.find_in_path !Config.load_path plugin_name + Load_path.find plugin_name with Not_found -> failwith (Printf.sprintf "Cannot find plugin %s in load path" plugin_name) |