diff --git a/source/basic.tex b/source/basic.tex index eb94d5bafc..3010f16892 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -8202,6 +8202,6 @@ If the contract-violation handler is not replaceable, a declaration of a replacement function for the contract-violation handler -is ill-formed, no diagnostic required.\ifndrdef{basic.contract.handler.replacing.nonreplaceable} +is ill-formed, no diagnostic required\ifndrdef{basic.contract.handler.replacing.nonreplaceable}. \indextext{contract assertion|)}