aboutsummaryrefslogtreecommitdiff
path: root/src/checker_state.rs
diff options
context:
space:
mode:
authortslil <tslil@posteo.de>2026-05-08 10:36:46 +0100
committertslil <tslil@posteo.de>2026-05-08 10:53:51 +0100
commita73c34fc2e6b2dbe3ba8f4466851b03d29c016d4 (patch)
tree796e482cc5f2a401add3dea02a8aac0236155a1d /src/checker_state.rs
parent77e215d06ac471dbbdbca3aaa2940f0c77580ac8 (diff)
fix bug in project: we were not substituting into the looked up field setHEADmain
Diffstat (limited to 'src/checker_state.rs')
-rw-r--r--src/checker_state.rs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs
index c12a2d7..3628432 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -503,7 +503,6 @@ impl CheckerState {
Ok(canonical)
}
- #[instrument(skip(self))]
pub fn make_unique_name(&mut self) -> String {
let n = self.unique_name.fetch_add(1, Ordering::Relaxed);
_reserved_name(n, true)