Fix unreachable code

runtimeverification · Oct 25, 2023 · 38a90ab · 38a90ab
1 parent 305cdb8
commit 38a90ab
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kernel/src/main/java/org/kframework/utils/file/JarInfo.java b/kernel/src/main/java/org/kframework/utils/file/JarInfo.java
@@ -34,7 +34,6 @@ public static String getKBase() {
         String decodedPath = URLDecoder.decode(path, StandardCharsets.UTF_8);
         File parent = new File(decodedPath).getParentFile().getParentFile().getParentFile().getParentFile();
         return parent.getAbsolutePath();
-        return null;
     }
 
     /**