search

opalj / opal

https://www.opal-project.de
Other
51 stars 27 forks source link

Fix output for empty high-soundness-mode string #219

Closed errt closed 2 months ago

errt commented 2 months ago

The options were not empty, but a set containing the empty string, messing with the subsequent code.