diff options
| author | Gaëtan Gilbert | 2019-10-02 14:59:03 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-04 14:07:15 +0200 |
| commit | d7f43705e347f728d99e45720d8f2e0a3f7cff34 (patch) | |
| tree | 91c5ebaa86c5caab9171c2815dcdde5ea998f10a /tools | |
| parent | 87c17a6871ef4c21ff86a050297d33738c5a870a (diff) | |
Allow SProp default on
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_dune.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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"; } ] |