From d682ad6bbb5547ffbcc19da90275ff43e4e03e20 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 6 May 2026 14:27:43 +0100
Subject: WiP

---
 src/checker_state.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/checker_state.rs')

diff --git a/src/checker_state.rs b/src/checker_state.rs
index ad01d50..a88c6b0 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -399,7 +399,7 @@ impl CheckerState {
             Signature::Ext { codomain, .. } => {
                 self._register_signature_fields(codomain, rebind)?;
             }
-            _ => (),
+            Signature::Var(_) | Signature::Set | Signature::FromSet(_) => (),
         }
         Ok(())
     }
-- 
cgit v1.3.1