diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 3bbe2d19c1..d47aeb014b 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -332,7 +332,7 @@ let banner () = ## INRIA ENS-CNRS ## ## Rocquencourt Lyon ## ## ## -## Coq V6.1 ## +## Coq V7 ## ## ## ## ## ############################################################################## |