fixing ...

1 files changed, 6 insertions, 2 deletions

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)
     }