Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

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

Title says it all.

Edited by Robbert Krebbers