From 5bfd1ba6326f1946e06b3fb47cf0acaba40ccd98 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Wed, 24 Feb 2016 11:08:20 +0000
Subject: [PATCH] setup directories properly

---
 src/lib/uTop_main.cppo.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/uTop_main.cppo.ml b/src/lib/uTop_main.cppo.ml
index 188325d..788d001 100644
--- a/src/lib/uTop_main.cppo.ml
+++ b/src/lib/uTop_main.cppo.ml
@@ -1423,7 +1423,7 @@ let interact ~search_path ~unit ~loc:(fname, lnum, cnum, _) ~values =
   | () -> failwith "Couldn't find location in cmt file"
   | exception (Found env) ->
     try
-      Clflags.include_dirs := cmt_infos.cmt_loadpath @ !Clflags.include_dirs;
+      List.iter Topdirs.dir_directory (search_path @ cmt_infos.cmt_loadpath);
       let env = Envaux.env_of_only_summary env in
       List.iter (fun (V (name, v)) -> Toploop.setvalue name (Obj.repr v)) values;
       main_internal ~initial_env:(Some env)