-
Ben Gamari authored
When floating a single-alternative case we previously would set the context level to the level where we were floating the case. However, this is not what FloatOut did: it rather left
a2a0e6f3
When floating a single-alternative case we previously would set the context level to the level where we were floating the case. However, this is not what FloatOut did: it rather left