Patrick Lühne
e2c0d6b705
With cxxopts 2.0.0, positional arguments weren’t recognized when other command-line options were passed before. This has been fixed in the meantime, but there is no release with the bug fix yet. This updates cxxopts to a newer commit to ship anthem with this fix. |
||
---|---|---|
.. | ||
catch@0a34cc201e | ||
clingo@e2187b697f | ||
cxxopts@abe9ebd6b4 |