diff options
Diffstat (limited to 'src/checker_signature.rs')
| -rw-r--r-- | src/checker_signature.rs | 9 |
1 files changed, 1 insertions, 8 deletions
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(¶ms[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 { |