diff options
Diffstat (limited to 'toplevel/coqinit.ml')
| -rw-r--r-- | toplevel/coqinit.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index da86562f0..3cc0bd5f4 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -30,10 +30,12 @@ let load_rcfile() = Vernac.load_vernac false (!rcfile^"."^Coq_config.version) else if file_readable_p !rcfile then Vernac.load_vernac false !rcfile - else + 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) |