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: Jan 30 2023 at 17:03 UTC