From b89502c9f2bf56ee89b7e280815c339ef7b8947c Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Tue, 8 Apr 2014 20:12:36 +0200
Subject: Revert "Revert part of eba6b75 as coq_makefile ignores -I if it
 overlaps with -R. (Fix for Rocq/Rational.)"

This reverts commit 7d3ce4012a53b123dac95381bf46aac65f865d69.

Conflicts:
	CHANGES
---
 toplevel/mltop.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml
index 458fe8ef0..196ab98ed 100644
--- a/toplevel/mltop.ml
+++ b/toplevel/mltop.ml
@@ -180,7 +180,6 @@ let add_rec_path ~unix_path ~coq_root ~implicit =
       with Exit -> None
     in
     let dirs = List.map_filter convert_dirs dirs in
-    let () = List.iter (fun lpe -> add_ml_dir (fst lpe)) dirs in
     let () = add_ml_dir unix_path in
     let add (path, dir) =
       Loadpath.add_load_path path Loadpath.ImplicitPath dir in
-- 
cgit v1.2.3