Now I get TypeError: Cannot read properties of null (reading 'before')
after admit
-ing anywhere. It seems like shelved goals are affecting it too.
Any idea why this could be happening? Thank you!
you may want to take a look at https://github.com/coq-community/vscoq/issues/273
Last updated: Mar 29 2024 at 04:02 UTC