fixup! Parse sort params in ad-hoc way

coord-e · coord-e · commit 80de383c34c9 · 2025-12-31T16:41:49.000+09:00
diff --git a/src/annot.rs b/src/annot.rs
@@ -871,7 +871,7 @@ where
                     name => {
                         // TODO: ad-hoc
                         if let Some(i) =
-                            name.strip_prefix("T").and_then(|s| s.parse::<usize>().ok())
+                            name.strip_prefix('T').and_then(|s| s.parse::<usize>().ok())
                         {
                             chc::Sort::param(i)
                         } else {

Original file line number	Diff line number	Diff line change
`@@ -871,7 +871,7 @@ where`
`871`	`871`	`name => {`
`872`	`872`	`// TODO: ad-hoc`
`873`	`873`	`if let Some(i) =`
`874`		`- name.strip_prefix("T").and_then(\|s\| s.parse::<usize>().ok())`
	`874`	`+ name.strip_prefix('T').and_then(\|s\| s.parse::<usize>().ok())`
`875`	`875`	`{`
`876`	`876`	`chc::Sort::param(i)`
`877`	`877`	`} else {`