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

Robbert Krebbersrequested to merge
robbert/issue260 into master

Title says it all.

Edited by Robbert Krebbers

Merge request reports