From 500d15b5afc1fec2e274c1752b0819100a3b2519 Mon Sep 17 00:00:00 2001
From: Craig Roy <craig.roy@cambridgequantum.com>
Date: Fri, 13 Sep 2024 17:17:58 +0100
Subject: [PATCH] fix: Initialise _checked in GuppyModule

---
 guppylang/module.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/guppylang/module.py b/guppylang/module.py
index 11c96400..a6680d68 100644
--- 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