sphinx-proof trying to access parts of sphinx.ast that don't exist
mmcky opened this issue · comments
Describe the problem
@AakashGfude I am trying to build: https://github.com/jstac/continuous_time_mcs and betting the following traceback.
Exception occurred:
File "/Users/matthewmckay/anaconda3/lib/python3.8/site-packages/sphinx_proof/domain.py", line 106, in resolve_xref
map(str, env.toc_fignumbers[todocname]["proof"][target])
KeyError: 'equivirr'
so it looks like sphinx-proof is trying to access parts of the sphinx.ast that don't exist.
Link to your repository or website
https://github.com/jstac/continuous_time_mcs
Steps to reproduce
- Build project
The version of Python you're using
No response
Your operating system
No response
Versions of your packages
No response
Additional context
No response
Hey, @mmcky I tried running this repository with sphinx-proof - v0.1.0. And could not replicate this issue.
ok thanks @AakashGfude I will try this again then.
I confirm this is now the case 👍