diff options
author | 2007-12-06 17:36:14 +0000 | |
---|---|---|
committer | 2007-12-06 17:36:14 +0000 | |
commit | a59b644de4234fb7fe3fce28284979091f257130 (patch) | |
tree | d5d8ff609aa9e4e582a06ca865a94eee1edbf182 /ide/ideutils.ml | |
parent | 3e3fa18a066feae44c10fc6e072059f4e9914656 (diff) |
Plus de combinateurs sont passés de Util à Option. Le module Options
devient Flags.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10348 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 0c2e3905d..b79e4b936 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -25,7 +25,7 @@ let set_location = ref (function s -> failwith "not ready") let pulse = ref (function () -> failwith "not ready") -let debug = Options.debug +let debug = Flags.debug let prerr_endline s = if !debug then (prerr_endline s;flush stderr) @@ -35,7 +35,7 @@ let prerr_string s = let lib_ide_file f = let coqlib = System.getenv_else "COQLIB" - (if Coq_config.local || !Options.boot then Coq_config.coqtop + (if Coq_config.local || !Flags.boot then Coq_config.coqtop else Coq_config.coqlib) in Filename.concat (Filename.concat coqlib "ide") f |