diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqcompat.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/coqcompat.ml b/toplevel/coqcompat.ml index 8bf1e9bd0..59dca330c 100644 --- a/toplevel/coqcompat.ml +++ b/toplevel/coqcompat.ml @@ -24,10 +24,10 @@ let set_compat_options = function set_bool_option_value ["Intuition";"Iff";"Unfolding"] true | "8.1" -> - warning "Compatibility with versions 8.1 not supported." + warning "Compatibility with version 8.1 not supported." | "8.0" -> - warning "Compatibility with versions 8.0 not supported." + warning "Compatibility with version 8.0 not supported." | s -> error ("Unknown compatibility version \""^s^"\".") |