From d7f43705e347f728d99e45720d8f2e0a3f7cff34 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 2 Oct 2019 14:59:03 +0200
Subject: Allow SProp default on

---
 tools/coq_dune.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coq_dune.ml b/tools/coq_dune.ml
index adb416e3ce..ab180769b6 100644
--- a/tools/coq_dune.ml
+++ b/tools/coq_dune.ml
@@ -127,7 +127,6 @@ module Options = struct
   let all_opts =
   [ { enabled = false; cmd = "-debug"; }
   ; { enabled = false; cmd = "-native_compiler"; }
-  ; { enabled = true; cmd = "-allow-sprop"; }
   ; { enabled = true; cmd = "-w +default"; }
   ]
 
-- 
cgit v1.2.3