diff options
| author | Pierre-Marie Pédrot | 2019-10-14 07:05:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-14 07:05:01 +0200 |
| commit | 54e31c28bf21caf7f8fcff1fcf4b415fed66dc3a (patch) | |
| tree | 038374a730db66e8a2284f7b186925a654a7369e /tools | |
| parent | 7623da4448381955ef063dcce6f4263d91fe0d74 (diff) | |
| parent | 825d0737069debb8e16c44cd49ad3a273211f76c (diff) | |
Merge PR #10811: Allow SProp default on
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Reviewed-by: ppedrot
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"; } ] |