From 73ef814f56d943c22651d3be34bad36f5eb03786 Mon Sep 17 00:00:00 2001 From: Erik Takke Date: Sat, 3 Jan 2026 17:03:11 +0100 Subject: [PATCH] spec: do not print index in assumption/constraint ref --- spec/chip.typ | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/chip.typ b/spec/chip.typ index 30b93373c..f179ada24 100644 --- a/spec/chip.typ +++ b/spec/chip.typ @@ -134,7 +134,7 @@ let index = if "range" in assumption { "." + assumption.range.at(0) } else { "" } let lbl = [#chip.name\-A] show figure: (it) => align(left, block[#lbl#context it.counter.display()#index]) - cref(assumption)[#figure(kind: "assumption", numbering: (i) => [#lbl#i#index], supplement: [], [])] + cref(assumption)[#figure(kind: "assumption", numbering: (i) => [#lbl#i], supplement: [], [])] } figure(table( @@ -170,7 +170,7 @@ let prefix = if "prefix" in group { group.prefix } let lbl = [#chip.name\-C#prefix] show figure: (it) => align(left, block[#lbl#context it.counter.display()#index]) - cref(constraint)[#figure(kind: "constraint", numbering: (i) => [#lbl#i#index], supplement: [], [])] + cref(constraint)[#figure(kind: "constraint", numbering: (i) => [#lbl#i], supplement: [], [])] } /// Generates a representation of `constraint`