Skip to content
GitLab

Fix issue #260: Error message when iLöb used on non-SBI

Merged Robbert Krebbers requested to merge robbert/issue260 into master

Title says it all.

Edited by Robbert Krebbers

Merge request reports