Fix bound variables for premises - Githubissues

Wasm-DSL / spectec

Wasm SpecTec specification tools

https://wasm-dsl.github.io/spectec/

Other

27 stars 9 forks source link

Fix bound variables for premises #54

Closed rossberg closed 10 months ago

rossberg commented 10 months ago

Address problem mentioned by @f52985 here.

This was handled correctly for other occurrences of iteration.