From eaaa258fbde851f22221fbe4f106ccfeba32caf0 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Fri, 30 Jun 2023 20:35:48 +0200
Subject: [PATCH] Fix type checking bug in 'bolt verify' command

---
 compiler/src/bin/bolt.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/src/bin/bolt.ts b/compiler/src/bin/bolt.ts
index 068cb4f01..83b2b2d33 100644
--- a/compiler/src/bin/bolt.ts
+++ b/compiler/src/bin/bolt.ts
@@ -168,6 +168,7 @@ program.command('verify', { hidden: true })
       process.exit(1);
     }
     const analyser = new Analyser();
+    analyser.addSourceFile(sourceFile);
     const checker = new Checker(analyser, diagnostics);
     checker.check(sourceFile);
     const realDiagnostics = new ConsoleDiagnostics();