From 49dec36516965ac62c0b1286ea1b8b3c5616c018 Mon Sep 17 00:00:00 2001
From: Natsu <chino@hotococoa.moe>
Date: Fri, 31 May 2024 02:23:34 +0800
Subject: [PATCH] dafny: Remove `DafnyLanguageServer` bin (#5867)

---
 bucket/dafny.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bucket/dafny.json b/bucket/dafny.json
index 2020a7ccad..a8107d60c7 100644
--- a/bucket/dafny.json
+++ b/bucket/dafny.json
@@ -12,7 +12,6 @@
     },
     "bin": [
         "Dafny.exe",
-        "DafnyLanguageServer.exe",
         "DafnyServer.exe"
     ],
     "checkver": {