diff options
Diffstat (limited to 'src/checker_set.rs')
| -rw-r--r-- | src/checker_set.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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, |