Kotlin: Remove unused ODASA_TOOLS variable

2026-04-25 00:35:20 +02:00 · 2024-05-02 15:05:30 +01:00
parent 231918f612
commit 304ad33837
1 changed files with 0 additions and 4 deletions
--- a/java/kotlin-extractor/src/main/java/com/semmle/util/process/Env.java
+++ b/java/kotlin-extractor/src/main/java/com/semmle/util/process/Env.java
@@ -82,10 +82,6 @@ public class Env {
 		 * The location where our queries are kept.
 		 */
 		ODASA_QUERIES,
-		/**
-		 * The location of the 'tools' directory
-		 */
-		ODASA_TOOLS,
 		/**
 		 * Whether we are running in 'prototyping mode'.
 		 */