# HG changeset patch
# User wenzelm
# Date 1762179503 -3600
# Node ID 07d36671409f0ea7a8bd6bdf3a9d3882a27aee5f
# Parent  436c1a7ae25467d7c05335caf6a09d25499fe091
unused (see also 83197a0ac6df);

diff -r 436c1a7ae254 -r 07d36671409f src/Tools/VSCode/extension/src/library.ts
--- a/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:14:09 2025 +0100
+++ b/src/Tools/VSCode/extension/src/library.ts	Mon Nov 03 15:18:23 2025 +0100
@@ -48,8 +48,3 @@
   if (s) return s
   else throw new Error("Undefined Isabelle environment variable: " + quote(name))
 }
-
-export function workspace_path(path: string): string
-{
-  return getenv_strict("ISABELLE_VSCODE_WORKSPACE") + "/" + path
-}