From 8b540449755ca8e73feb88e708f22fd292ace610 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 1 May 2026 11:59:10 +0100
Subject: make parser more lenient, add the one simplex example, fix naming for
 records

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

(limited to 'src/checker_set.rs')

diff --git a/src/checker_set.rs b/src/checker_set.rs
index 87da8bd..6ef8182 100644
--- a/src/checker_set.rs
+++ b/src/checker_set.rs
@@ -15,7 +15,7 @@ impl CheckerState {
                     .into_iter()
                     .map(|RecordField { name, set }| {
                         let set = ctx.check_set(set)?;
-                        ctx.make_element_binding(name.clone(), set.clone())?;
+                        ctx.add_element(name.clone(), ElementValue::Hypothetical, set.clone())?;
                         Ok(RecordField {
                             name: name.clone(),
                             set,
-- 
cgit v1.3.1