Frame in make_assertion appears to be unused. - Githubissues

david-a-wheeler / mmverify.py

Metamath verifier in Python

MIT License

35 stars 10 forks source link

Frame in make_assertion appears to be unused. #3

Closed treeform closed 2 years ago

treeform commented 2 years ago

https://github.com/david-a-wheeler/mmverify.py/blob/master/mmverify.py#L152

benjub commented 2 years ago

Thanks. This was recalled in #4 and fixed in #7.