From aa7132eaa6ddd13ec2cf01e9aea9f65217ec893a Mon Sep 17 00:00:00 2001 From: Eelis van der Weegen Date: Sat, 1 Aug 2026 10:19:50 +0200 Subject: [PATCH] [basic.contract.eval] Fix index redirects. --- source/basic.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/basic.tex b/source/basic.tex index 7fa8b01b1a..b25702a164 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -7828,8 +7828,8 @@ \pnum \indexdefn{evaluation semantics|see{contract evaluation semantics}}% -\indexdefn{checking semantics|see{contract evaluation semantics!checking}}% -\indexdefn{terminating semantics|see{contract evaluation semantics!terminating}}% +\indexdefn{checking semantics|see{contract evaluation semantics, checking}}% +\indexdefn{terminating semantics|see{contract evaluation semantics, terminating}}% An evaluation of a contract assertion uses one of the following four \defn{evaluation semantics}: \defnx{ignore}{contract evaluation semantics!ignore},