diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-28 09:33:03 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-02-28 09:33:03 +0000 |
| commit | c88af9ff3deaa6da8985c5119284b7a925a04d65 (patch) | |
| tree | 2b11edaaa8723a68f03a0a3bef989c4d93c760a4 /toplevel/coqinit.ml | |
| parent | 4c525008cb728571266ba418b58b4512763159fa (diff) | |
bug Reset et Sections
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1410 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/coqinit.ml')
| -rw-r--r-- | toplevel/coqinit.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index 3cc0bd5f4..64273724d 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -7,9 +7,9 @@ open Toplevel let set_debug () = Options.debug := true -(* Load of rcfile. - * rcfile is either $HOME/.coqrc.VERSION, or $HOME/.coqrc if the first one - * does not exist. *) +(* Loading of the ressource file. + rcfile is either $HOME/.coqrc.VERSION, or $HOME/.coqrc if the first one + does not exist. *) let rcfile = ref (Filename.concat home ".coqrc") let rcfile_specified = ref false @@ -31,11 +31,11 @@ let load_rcfile() = else if file_readable_p !rcfile then Vernac.load_vernac false !rcfile else () -(* + (* if Options.is_verbose() then mSGNL [< 'sTR ("No .coqrc or .coqrc."^Coq_config.version^ " found. Skipping rcfile loading.") >] -*) + *) with e -> (mSGNL [< 'sTR"Load of rcfile failed." >]; raise e) |