Skip to content

Fix issue #259: Error message when iRevert is used on out of scope variable

Robbert Krebbers requested to merge robbert/issue259 into master

This fix is partly based on @Blaisorblade's but is a little less verbose.

I have also added a number of test cases.

Edited by Robbert Krebbers

Merge request reports