From 25695dba0365a252cb142d5ba9079bd59f3ccad2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 14 Mar 2021 22:31:40 +0100
Subject: fixup gitpod config

---
 _CoqProject | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 _CoqProject

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..5493330
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1,10 @@
+-I mathcomp
+-R mathcomp mathcomp
+
+-arg -w -arg -projection-no-head-constant
+-arg -w -arg -redundant-canonical-projection
+-arg -w -arg -notation-overridden
+-arg -w -arg +duplicate-clear
+-arg -w -arg +non-primitive-record
+-arg -w -arg +undeclared-scope
+-arg -w -arg -deprecated-hint-without-locality
-- 
cgit v1.2.3