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