fix: Initialise _checked in GuppyModule (#491)

Closes #489
CQCL · Sep 13, 2024 · 3dd5dd3 · 3dd5dd3
1 parent e900c96
commit 3dd5dd3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/guppylang/module.py b/guppylang/module.py
@@ -76,6 +76,7 @@ def __init__(self, name: str, import_builtins: bool = True):
         self._globals = Globals({}, {}, {}, {})
         self._imported_globals = Globals.default()
         self._imported_checked_defs = {}
+        self._checked = False
         self._compiled = False
         self._compiled_hugr = None
         self._instance_func_buffer = None