From fb5ba7fb62f4ce75f307233d5ffb438243f353b6 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 6 May 2026 20:43:00 +0100
Subject: fixing ...

---
 src/checker_state.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/checker_state.rs')

diff --git a/src/checker_state.rs b/src/checker_state.rs
index a88c6b0..77abbdd 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -464,8 +464,12 @@ fn _reserved_name(n: usize, alter: bool) -> String {
 
 impl CheckerState {
     fn _make_canonical_element(&mut self, name: String, set: Set) -> Result<String, CheckerError> {
-        let n = self.binder_element.fetch_add(1, Ordering::Relaxed);
-        let canonical = _reserved_name(n, false);
+        let canonical = if name.starts_with("#") {
+            name.clone()
+        } else {
+            let n = self.binder_element.fetch_add(1, Ordering::Relaxed);
+            _reserved_name(n, false)
+        };
         self.add_element(name, Element::Var(canonical.clone()).into(), set)?;
         Ok(canonical)
     }
-- 
cgit v1.3.1