Fix warnings on Coq master

tchajed · May 27, 2021 · 9fba002 · 9fba002
1 parent 268a735
commit 9fba002
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,4 +1,5 @@
 -Q src RecordUpdate
+-arg -w -arg -deprecated-instance-without-locality
 -arg -w -arg +undeclared-scope
 src/RecordSet.v
 src/RecordUpdate.v