From 6f6df95b14bca4dab752566a9f5a38f625ed1eb4 Mon Sep 17 00:00:00 2001
From: Robin <robin@robin.town>
Date: Tue, 5 Sep 2023 15:39:08 -0400
Subject: [PATCH] =?UTF-8?q?Fix=20a=20crash=20when=20denoting=20CPrels=20th?=
 =?UTF-8?q?at=20don't=20contain=20h=C3=B3a?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/semantics/denote.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/semantics/denote.ts b/src/semantics/denote.ts
index e7765f5..4e0d3d8 100644
--- a/src/semantics/denote.ts
+++ b/src/semantics/denote.ts
@@ -718,7 +718,7 @@ const cRelComposition: CompositionRule = (branch, left, right) => {
 					),
 				),
 				bindings: mapBindings(right.bindings, b => ({
-					index: b.index + 1,
+					index: b.index,
 					subordinate: true,
 				})),
 			};