🐛 FIX: Other domain refs were throwing 'reference not found' error

executablebooks / sphinx-proof

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.

https://sphinx-proof.readthedocs.io/en/latest/

MIT License

32 stars 17 forks source link

🐛 FIX: Other domain refs were throwing 'reference not found' error #68

Closed AakashGfude closed 3 years ago

AakashGfude commented 3 years ago

This was because resolve_xref function in proof domain was throwing except for any refs which were not found in env.proof_list. naturally the refs belonging to a different domain will throw error.