From f9da9fc24b69a5e353f7dacc877a253cd0dd73e5 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Tue, 15 Mar 2022 14:10:31 +0100
Subject: [PATCH] Delete unnecessary Symbol

---
 arduino-ide-extension/src/node/web-socket/web-socket-provider.ts | 1 -
 1 file changed, 1 deletion(-)

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;