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: Jun 04 2023 at 23:30 UTC