Skip to content

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

Robbert Krebbers requested to merge robbert/issue260 into master

Title says it all.

Edited by Robbert Krebbers

Merge request reports