diff --git a/source/ifndr.tex b/source/ifndr.tex index 0aefe28887..036de5cf6c 100644 --- a/source/ifndr.tex +++ b/source/ifndr.tex @@ -3,6 +3,7 @@ \rSec1[ifndr.general]{General} +\pnum This Annex documents rules for which no diagnostic is required, called out in diff --git a/source/ub.tex b/source/ub.tex index 1bb81594fd..ea49eae87b 100644 --- a/source/ub.tex +++ b/source/ub.tex @@ -3,6 +3,7 @@ \rSec1[ub.general]{General} +\pnum This Annex documents undefined behavior explicitly called out in \ref{intro} through \ref{\lastcorechapter}