diff options
| author | tslil <tslil@posteo.de> | 2026-05-07 19:25:08 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-07 19:34:47 +0100 |
| commit | 77e215d06ac471dbbdbca3aaa2940f0c77580ac8 (patch) | |
| tree | 0c4f725a0573c35a77cb4eceb325407061964f7a /src/checker.rs | |
| parent | 55ea9c739c8e42df0caf8a3394add7bd7931a189 (diff) | |
regression in WiP work to improve sets
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 7b06c8b..24ba039 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -22,7 +22,7 @@ impl CheckerState { Decl::Set { name, set } => { self.assert_unbound_set(name)?; let set = self.check_set(set)?; - self.add_set(name.clone(), set) + self.add_set(name.clone(), set, false) } Decl::Element { name, element, set } => { |