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();