From 0ea7a11814519e5bfc030e864bd5ce93f081c8d0 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Wed, 19 Mar 2025 08:01:35 +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 2a717380e2..3b466cc94c 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7376,7 +7376,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$