You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(This issue was detected by cxxdraft-htmlgen, but only because I had (manually) linkified the use of the definition, and the link broke. If the LaTeX source systematically annotated all uses of defined terms, I could detect all dangling uses automatically.)
The text was updated successfully, but these errors were encountered:
The term is used here:
draft/source/declarations.tex
Line 781 in 563b324
It used to be defined here:
draft/source/statements.tex
Line 147 in 9417d36
But that definition was removed by:
c7e8927#diff-13fc6b16fa109524b40c062ee3237f51a962cf67a4c19efe5b3d69148e74813fL147
(This issue was detected by cxxdraft-htmlgen, but only because I had (manually) linkified the use of the definition, and the link broke. If the LaTeX source systematically annotated all uses of defined terms, I could detect all dangling uses automatically.)
The text was updated successfully, but these errors were encountered: