Commit 1c73b853 authored by Björn Brandenburg's avatar Björn Brandenburg

suppress warnings in prosa.util.seqset

...by adding the -projection-no-head-constant flag to the build settings.
parent 2da5f091
-R . prosa -arg "-w -notation-overriden,-parsing"
-R . prosa -arg "-w -notation-overriden,-parsing,-projection-no-head-constant"
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