diff options
| author | tslil <tslil@posteo.de> | 2026-04-28 15:00:45 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-28 17:07:32 +0100 |
| commit | 67e3285ae6c7b94adc1983dcff18a009455bc582 (patch) | |
| tree | d33fc75fdb041dd92d089f2039ab08902f09d95c /src/checker.rs | |
| parent | ecc2c04edbcfdd097377683c28b92cd10e437d35 (diff) | |
snapshot of working through instances/singatures <> sets/elements
Diffstat (limited to 'src/checker.rs')
| -rw-r--r-- | src/checker.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/checker.rs b/src/checker.rs index da4463c..aefbb02 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -21,7 +21,7 @@ impl CheckerState { Decl::Set { name, set } => { self.assert_unbound_set(name)?; let set = self.check_set(set.clone())?; - self.add_set(name, set) + self.add_set(name.clone(), set.into()) } Decl::Element { name, element, set } => { |