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

silence a warning that cannot be fixed without raising the MSCV

parent dcfc59bb
Branches
Tags
No related merge requests found
Pipeline #65787 canceled
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
_CoqProject
+ 3
− 0
View file @ f2887416
......@@ -2,6 +2,9 @@
-Q exercises exercises
INSTALLDEFAULTROOT = tutorial-popl20
# Fixing this requires Coq 8.15.
-arg -w -arg -deprecated-typeclasses-transparency-without-locality
solutions/language.v
solutions/polymorphism.v
solutions/types.v
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment