From 67e3285ae6c7b94adc1983dcff18a009455bc582 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Tue, 28 Apr 2026 15:00:45 +0100
Subject: snapshot of working through instances/singatures <> sets/elements

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

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
index da4463c..aefbb02 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -21,7 +21,7 @@ impl CheckerState {
                 Decl::Set { name, set } => {
                     self.assert_unbound_set(name)?;
                     let set = self.check_set(set.clone())?;
-                    self.add_set(name, set)
+                    self.add_set(name.clone(), set.into())
                 }
 
                 Decl::Element { name, element, set } => {
-- 
cgit v1.3.1