From 04014239c232cb9d72056410526f60a0a7f078de Mon Sep 17 00:00:00 2001
From: David Anthoff <anthoff@berkeley.edu>
Date: Fri, 19 Jun 2026 07:50:07 +0200
Subject: [PATCH] Remove an unnecessary definition

---
 src/LanguageServer.jl | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/LanguageServer.jl b/src/LanguageServer.jl
index bb74e15d..0c700013 100644
--- a/src/LanguageServer.jl
+++ b/src/LanguageServer.jl
@@ -11,9 +11,6 @@ using JuliaWorkspaces.URIs2: URI, uri2filepath, filepath2uri
 using PrecompileTools
 import Dates, Logging, LoggingExtras
 
-# JuliaWorkspaces-bundled StaticLint — needed for LintOptions
-const StaticLint = JuliaWorkspaces.StaticLint
-
 # Tracing/telemetry support reused from the Salsa runtime bundled with JuliaWorkspaces.
 const TraceLogging = JuliaWorkspaces.Salsa.TraceLogging