1 files changed, 1 insertions, 1 deletions
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 } => {