diff --git a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty index 53e6f38..23c2e74 100644 --- a/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty +++ b/Isabelle_DOF-Ontologies/CENELEC_50128/DOF-CENELEC_50128.sty @@ -128,7 +128,7 @@ \begin{isamarkuptext}% \ifthenelse{\equal{\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}{}}{% \begin{EC}% - \addxcontentsline{tos}{chapter}[]{\autoref{\commandkey{label}}}% + \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}}% }{% \begin{EC}[\commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}]% \addxcontentsline{toe}{chapter}[]{\autoref{\commandkey{label}}: \commandkey{CENELECUNDERSCOREFIVEZEROONETWOEIGHTDOTrequirementDOTlongUNDERSCOREname}}%