From 01fa046646398890e64d6effbefd1d2a792dff4e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 14 Oct 2014 19:27:55 +0200
Subject: Fix ML paths (thanks Jean-Marc Notin for bisecting it)

---
 toplevel/coqinit.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index e95f59f671..0e52fe6ab9 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -93,9 +93,10 @@ let init_load_path () =
     (* first, developer specific directory to open *)
     if Coq_config.local then coq_add_path (coqlib/"dev") "dev";
     (* main loops *)
-    if Coq_config.local || !Flags.boot then
+    if Coq_config.local || !Flags.boot then begin
       let () = Mltop.add_ml_dir (coqlib/"stm") in
-      Mltop.add_ml_dir (coqlib/"ide");
+      Mltop.add_ml_dir (coqlib/"ide")
+    end;
     Mltop.add_ml_dir (coqlib/"toploop");
     (* then standard library *)
     add_stdlib_path ~unix_path:(coqlib/"theories") ~coq_root ~with_ml:false;
-- 
cgit v1.2.3