Skip to content
Snippets Groups Projects
Commit f84d31d5 authored by Ralf Jung's avatar Ralf Jung
Browse files

enable convert_concl_no_check warnings

parent 358c4389
No related branches found
No related tags found
No related merge requests found
Pipeline #59030 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 2 deletions
_CoqProject
+ 0
− 2
View file @ f84d31d5
......@@ -2,8 +2,6 @@
-Q solutions solutions
-Q talks/demo demo
INSTALLDEFAULTROOT = tutorial-popl18
# Iris 3.3 still uses this to be compatible with Coq 8.9.
-arg -w -arg -convert_concl_no_check
talks/demo/demo.v
exercises/ex_01_swap.v
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment