diff options
| author | monate | 2003-03-14 08:48:24 +0000 |
|---|---|---|
| committer | monate | 2003-03-14 08:48:24 +0000 |
| commit | 36d52e51b39ffc23595e5979f02a4f401a5a2243 (patch) | |
| tree | 41cf4606e83cd7335794d2e99e5447272ddc18c3 /ide/coqide.ml | |
| parent | 441ee955b0f9ff7a228f88c2d0cc7beac378a916 (diff) | |
coqide: maj commandes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3766 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 368ef6d9fc..e8b28ec445 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -975,7 +975,8 @@ object(self) | Some f -> Filename.dirname f ) in - ignore (Coq.interp (Printf.sprintf "Add LoadPath \"%s\". " dir)); + if not (is_in_coq_lib dir) then + ignore (Coq.interp (Printf.sprintf "Add LoadPath \"%s\". " dir)); Sys.chdir dir |