From 8c65b33e8126ca38fcc38b6ffb39a13023eb3759 Mon Sep 17 00:00:00 2001
From: Toine Hartman <toinehartman@users.noreply.github.com>
Date: Tue, 4 Nov 2025 15:45:05 +0100
Subject: [PATCH] Use fully qualified name in runMain

---
 rascal-vscode-extension/src/RascalExtension.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rascal-vscode-extension/src/RascalExtension.ts b/rascal-vscode-extension/src/RascalExtension.ts
index e8765d701..1644f1f99 100644
--- a/rascal-vscode-extension/src/RascalExtension.ts
+++ b/rascal-vscode-extension/src/RascalExtension.ts
@@ -95,7 +95,7 @@ export class RascalExtension implements vscode.Disposable {
                 if (!text.document.uri || !moduleName) {
                     return;
                 }
-                this.startTerminal(text.document.uri, `import ${moduleName};\nmain();\n`);
+                this.startTerminal(text.document.uri, `import ${moduleName};\n${moduleName}::main();\n`);
             })
         );
     }