From 8839959fd05a04f2d37461ab842d23107b104d20 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 1 May 2026 10:56:10 +0100
Subject: add monotic counters, fix element binding case in app->for

---
 src/checker_signature.rs | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'src/checker_signature.rs')

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
index 17154dd..bad38eb 100644
--- a/src/checker_signature.rs
+++ b/src/checker_signature.rs
@@ -1,5 +1,3 @@
-// Time-stamp: <2026-04-30 17h19 BST (9561bc0c)>
-
 use crate::ast::*;
 use crate::checker_state::*;
 use std::collections::HashMap;
@@ -443,12 +441,7 @@ impl CheckerState {
                         let mut ctx = self.clone();
                         let first_set = ctx.check_set(&params[0].set)?;
                         let element_checked = self.check_element(element, &first_set)?;
-                        ctx.make_element_definition(
-                            params[0].name.clone(),
-                            element_checked,
-                            first_set,
-                        )?;
-
+                        ctx.add_element(params[0].name.clone(), element_checked.into(), first_set)?;
                         if params.len() == 1 {
                             ctx.check_instance(body, signature)
                         } else {
-- 
cgit v1.3.1