diff options
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 1 |
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) |