Fix a crash when denoting CPrels that don't contain hóa

toaq · Sep 5, 2023 · 6f6df95 · 6f6df95
1 parent 65a6386
commit 6f6df95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,
 				})),
 			};