diff --git a/CHANGELOG.md b/CHANGELOG.md
index a322fd47..d97e765f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Change Log
 
+### 1.5.2
+- Fix issue with double document symbol provider registration (@Alizter, [#9](https://github.com/JetBrains-Research/coqpilot/issues/9))
+
 ### 1.5.1
 - Add support of the Grazie platform as an llm provider.  
 
diff --git a/package-lock.json b/package-lock.json
index 60dd8a41..868f7a37 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "coqpilot",
-  "version": "1.5.0",
+  "version": "1.5.2",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "coqpilot",
-      "version": "1.5.0",
+      "version": "1.5.2",
       "dependencies": {
         "@codemirror/autocomplete": "^6.9.1",
         "axios": "^1.6.2",
@@ -1450,9 +1450,9 @@
       "dev": true
     },
     "node_modules/follow-redirects": {
-      "version": "1.15.3",
-      "resolved": "https://registry.npmjs.org/follow-redirects/-/follow-redirects-1.15.3.tgz",
-      "integrity": "sha512-1VzOtuEM8pC9SFU1E+8KfTjZyMztRsgEfwQl44z8A25uy13jSzTj6dyK2Df52iV0vgHCfBwLhDWevLn95w5v6Q==",
+      "version": "1.15.5",
+      "resolved": "https://registry.npmjs.org/follow-redirects/-/follow-redirects-1.15.5.tgz",
+      "integrity": "sha512-vSFWUON1B+yAw1VN4xMfxgn5fTUiaOzAJCKBwIIgT/+7CuGy9+r+5gITvP62j3RmaD5Ph65UaERdOSRGUzZtgw==",
       "funding": [
         {
           "type": "individual",
@@ -4283,9 +4283,9 @@
       "dev": true
     },
     "follow-redirects": {
-      "version": "1.15.3",
-      "resolved": "https://registry.npmjs.org/follow-redirects/-/follow-redirects-1.15.3.tgz",
-      "integrity": "sha512-1VzOtuEM8pC9SFU1E+8KfTjZyMztRsgEfwQl44z8A25uy13jSzTj6dyK2Df52iV0vgHCfBwLhDWevLn95w5v6Q=="
+      "version": "1.15.5",
+      "resolved": "https://registry.npmjs.org/follow-redirects/-/follow-redirects-1.15.5.tgz",
+      "integrity": "sha512-vSFWUON1B+yAw1VN4xMfxgn5fTUiaOzAJCKBwIIgT/+7CuGy9+r+5gITvP62j3RmaD5Ph65UaERdOSRGUzZtgw=="
     },
     "form-data": {
       "version": "3.0.1",
diff --git a/package.json b/package.json
index 907e73ea..50670dc7 100644
--- a/package.json
+++ b/package.json
@@ -8,7 +8,7 @@
     "url": "https://github.com/K-dizzled/coqpilot"
   },
   "publisher": "JetBrains-Research",
-  "version": "1.5.1",
+  "version": "1.5.2",
   "engines": {
     "vscode": "^1.82.0"
   },
diff --git a/src/coqLspClient/coqLspClient.ts b/src/coqLspClient/coqLspClient.ts
index fae11a72..4f2fd147 100644
--- a/src/coqLspClient/coqLspClient.ts
+++ b/src/coqLspClient/coqLspClient.ts
@@ -37,6 +37,10 @@ export class CoqLspClient extends LanguageClient {
             middleware: {
                 handleDiagnostics: (uri, diagnostics, _next) => {
                     logger.debug(`Diagnostics received for file ${uri}: ${diagnostics.map((d) => d.message).join(", ")}`);
+                },
+                provideDocumentSymbols: (document, _token, _next) => {
+                    logger.debug(`provideDocumentSymbols called for file ${document.uri}`);
+                    return [];
                 }
             }
         };