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: Mar 29 2024 at 04:02 UTC