Coq files tested with Coq 8.6.

asr · Dec 15, 2016 · ce30cdc · ce30cdc
1 parent 63f9b21
commit ce30cdc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -358,7 +358,7 @@ atp_changed :
 # Test used when there is a new version of Coq.
 
 %.coq_type_check :
-	coqc $*.v
+	coqc -w all $*.v
 
 coq_changed : coq_clean $(coq_type_check_files)
 	@echo "$@ succeeded!"

diff --git a/README.md b/README.md
@@ -108,6 +108,6 @@ version of Agda and/or
 [Apia](https://github.com/asr/apia/blob/master/README.md)
 corresponding to the date of the last commit.
 
-Coq files: [Coq](https://coq.inria.fr/) 8.5pl3.
+Coq files: [Coq](https://coq.inria.fr/) 8.6.
 
 Haskell files: [GHC](https://www.haskell.org/ghc/) 7.10.3