diff options
Diffstat (limited to 'src/checker.rs')
| -rw-r--r-- | src/checker.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/checker.rs b/src/checker.rs index fdba181..c381ba4 100644 --- a/src/checker.rs +++ b/src/checker.rs @@ -16,11 +16,12 @@ impl CheckerState { let Programme(decls) = prog; for decl in decls { + self.reset_binders(); match decl { Decl::Set { name, set } => { self.assert_unbound_set(name)?; let set = self.check_set(set)?; - self.add_set(name.clone(), set.into()) + self.add_set(name.clone(), set) } Decl::Element { name, element, set } => { |