Stream: VsCoq devs & users

Topic: Cannot read properties of null

view this post on Zulip abab9579 (Sep 04 2022 at 12:18):

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!

view this post on Zulip Karl Palmskog (Sep 04 2022 at 14:05):

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