From d14c744a1cff323f8a837ef620a93ee518c392a2 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 10:06:51 +0100
Subject: finish the implementation, we don't have motives so this is how it
 will have to stay

---
 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 f94fccc..7b06c8b 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -28,7 +28,7 @@ impl CheckerState {
                 Decl::Element { name, element, set } => {
                     self.assert_unbound_element(name)?;
                     let set = self.check_set(set)?;
-                    let element = self.check_element(element.into(), &set)?;
+                    let element = self.check_element(element.into(), Some(&set))?;
                     self.add_element(name.clone(), element.into(), set)
                 }
                 Decl::Signature { name, signature } => {
-- 
cgit v1.3.1