Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

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

Title says it all.

Edited by Robbert Krebbers