Skip to content

Fix `iInduction` regression caused by !931.

Robbert Krebbers requested to merge robbert/iInduction_regression_931 into master

This closes #534 (closed).

There is still another bug that was there before !931 (merged), see #537

Edited by Ralf Jung

Merge request reports