diff --git a/arduino-ide-extension/src/node/web-socket/web-socket-provider.ts b/arduino-ide-extension/src/node/web-socket/web-socket-provider.ts
index 6aa10204..7c402ad5 100644
--- a/arduino-ide-extension/src/node/web-socket/web-socket-provider.ts
+++ b/arduino-ide-extension/src/node/web-socket/web-socket-provider.ts
@@ -1,7 +1,6 @@
 import { Event } from '@theia/core/lib/common/event';
 import * as WebSocket from 'ws';
 
-export const WebSocketProvider = Symbol('WebSocketProvider');
 export interface WebSocketProvider {
   getAddress(): WebSocket.AddressInfo;
   sendMessage(message: string): void;