From a297c693619907f83def1ec629525cfc700b9b45 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Steinr=C3=B6tter?= Date: Sat, 7 Mar 2026 15:51:33 +0100 Subject: [PATCH] chore: update naming --- crates/pgls_cli/src/panic.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/pgls_cli/src/panic.rs b/crates/pgls_cli/src/panic.rs index 5b8cb16d3..c909b8d00 100644 --- a/crates/pgls_cli/src/panic.rs +++ b/crates/pgls_cli/src/panic.rs @@ -19,7 +19,7 @@ fn panic_handler(info: &PanicHookInfo) { writeln!(error, "Encountered an unexpected error").unwrap(); writeln!(error).unwrap(); - writeln!(error, "This is a bug in Postgres Tools, not an error in your code, and we would appreciate it if you could report it along with the following information to help us fixing the issue:").unwrap(); + writeln!(error, "This is a bug in the Postgres Language Server, not an error in your code, and we would appreciate it if you could report it along with the following information to help us fixing the issue:").unwrap(); writeln!(error).unwrap(); if let Some(location) = info.location() {