Skip to content

ramsey_model: Fix error message logic

one of the statements being present is sufficient

Merge request reports