diff options
| author |  Stephane Glondu <steph@glondu.net> | 2014-01-19 15:09:26 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2014-01-19 15:09:26 +0100 |
| commit | 58545b00a1c1825d9e51b16c2986976dd45dd3b2 (patch) | |
| tree | c19584a3daef4f5cb042291f8079225e09e5e751 /toplevel/coqinit.ml | |
| parent | bdb99a4e91d98fa7be517808945e7f1c96dd8003 (diff) | |
| parent | d2c5c5e616a6e118291fe1ce9965c731adac03a8 (diff) | |
Merge tag 'upstream/8.4pl3dfsg'
Upstream version 8.4pl3dfsg
Diffstat (limited to 'toplevel/coqinit.ml')
| -rw-r--r-- | toplevel/coqinit.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index 8f954573..85c2ca6e 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -140,6 +140,6 @@ let get_compat_version = function | "8.3" -> Flags.V8_3 | "8.2" -> Flags.V8_2 | ("8.1" | "8.0") as s -> - warning ("Compatibility with version "^s^" not supported."); + msg_warn ("Compatibility with version "^s^" not supported."); Flags.V8_2 | s -> Util.error ("Unknown compatibility version \""^s^"\".") |