diff --git a/vscode-lean4/src/infoview.ts b/vscode-lean4/src/infoview.ts
index b6a5a6b97..b29b447d4 100644
--- a/vscode-lean4/src/infoview.ts
+++ b/vscode-lean4/src/infoview.ts
@@ -60,7 +60,7 @@ async function rpcConnect(client: LeanClient, uri: ls.DocumentUri): Promise<stri
     return result.sessionId
 }
 
-class RpcSessionAtPos implements Disposable {
+export class RpcSessionAtPos implements Disposable {
     keepAliveInterval?: NodeJS.Timeout
     client: LeanClient