Commit 18693281 authored by Ralf Jung's avatar Ralf Jung

tweak warning settings

parent 610bbc7c
Pipeline #26231 passed with stage
in 13 minutes and 31 seconds
-Q theories orc11
-arg -w -arg -notation-overridden,-projection-no-head-constant,-redundant-canonical-projection
# non-canonical projections (https://github.com/coq/coq/pull/10076) do not exist yet in 8.9.
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant
theories/base.v
theories/value.v
theories/mem_order.v
......@@ -9,4 +12,4 @@ theories/view.v
theories/memory.v
theories/tview.v
theories/thread.v
theories/progress.v
\ No newline at end of file
theories/progress.v
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment