diff options
| author | barras | 2005-11-25 17:09:25 +0000 |
|---|---|---|
| committer | barras | 2005-11-25 17:09:25 +0000 |
| commit | fdb545de08669f1e95c9d3fcf4b5bac42f6cbd7c (patch) | |
| tree | 02d6dc2a6e83b60a14f54678a8c5d13ad424947e /ide/ideutils.ml | |
| parent | cd7a642a58b1189d465fedf99c15c2bc588a037d (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7608 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index d0d025d635..5d7ff31351 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -32,12 +32,12 @@ let prerr_endline s = let prerr_string s = if !debug then (prerr_string s;flush stderr) -let lib_ide = +let lib_ide_file f = let coqlib = System.getenv_else "COQLIB" (if Coq_config.local || !Options.boot then Coq_config.coqtop else Coq_config.coqlib) in - Filename.concat coqlib "ide" + Filename.concat (Filename.concat coqlib "ide") f let get_insert input_buffer = input_buffer#get_iter_at_mark `INSERT |