From 5c1d6b1dd93249dcffb29a6e622d41db146f6cd4 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andres-github@andres.systems>
Date: Tue, 3 Jun 2025 09:46:24 -0400
Subject: [PATCH] Do not treat all warnings as errors in _CoqProject

---
 _CoqProject | 2 --
 1 file changed, 2 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index cb7f43e..a0b06ca 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,8 +3,6 @@
 -Q src AAC_tactics
 -I src
 
--arg -w -arg +default
-
 src/coq.mli
 src/helper.mli
 src/search_monad.mli