From 90e9eb5c1e3c861b2d7fd5d52d5ae1492862539c Mon Sep 17 00:00:00 2001
From: BurstingF <Jensiwaa@gmail.com>
Date: Tue, 9 Jul 2024 20:26:26 +0200
Subject: [PATCH] Export ExtensionRuntime for other extensions

---
 src/extension.ts | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/extension.ts b/src/extension.ts
index 6c7ac04..787c527 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -14,14 +14,15 @@ import * as PromiseAny from 'promise.any';
 const DafnyVersionTimeoutMs = 5_000;
 let extensionRuntime: ExtensionRuntime | undefined;
 
-export async function activate(context: ExtensionContext): Promise<void> {
+export async function activate(context: ExtensionContext): Promise<ExtensionRuntime | undefined> {
   if(!await checkAndInformAboutInstallation(context)) {
-    return;
+    return undefined;
   }
   const statusOutput = window.createOutputChannel(ExtensionConstants.ChannelName);
   context.subscriptions.push(statusOutput);
   extensionRuntime = new ExtensionRuntime(context, statusOutput);
   await extensionRuntime.initialize();
+  return extensionRuntime;
 }
 
 export async function deactivate(): Promise<void> {