Commit 57417937 authored by Ike Mulder's avatar Ike Mulder
Browse files

Fix for no longer compiling with 8.13 and 8.14.

parent aa3c42cf
Pipeline #62361 passed with stage
in 8 minutes and 15 seconds
......@@ -8,3 +8,5 @@
-arg -w -arg -notation-overridden
# non-canonical projections (https://github.com/coq/coq/pull/10076) do not exist yet in 8.9.
-arg -w -arg -redundant-canonical-projection
# We can remove this after we drop support for Coq 8.13 and 8.14
-arg -w -arg -deprecated-typeclasses-transparency-without-locality
......@@ -90,7 +90,7 @@ Global Arguments tele_pointwise TT {_} rel f g /.
Unset Universe Polymorphism.
Global Typeclasses Opaque tele_pointwise.
Typeclasses Opaque tele_pointwise.
(* Helper classes for handling telescopes *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment