From 79fea8ed3c37a5ad4ddb97fc6824f69621623ca3 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Fri, 14 Mar 2025 19:37:34 +0100
Subject: [PATCH] [basic.contract.eval] Insert missing space between words

---
 source/basic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/basic.tex b/source/basic.tex
index b794205e59..6b1b8e4cad 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7354,7 +7354,7 @@
 \end{note}
 
 \pnum
-There is an observablecheckpoint\iref{intro.abstract} $C$
+There is an observable checkpoint\iref{intro.abstract} $C$
 that happens before $A$
 such that any other operation $O$
 that happens before $A$