From 2d40907c6de16809677355ee564a904a3cadca0b Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Tue, 21 Jan 2025 18:39:28 +0100
Subject: [PATCH] fix typo
---
src/main/java/de/tlc4b/TLCRunner.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLCRunner.java b/src/main/java/de/tlc4b/TLCRunner.java
index 53c2eaa..b7e427e 100644
--- a/src/main/java/de/tlc4b/TLCRunner.java
+++ b/src/main/java/de/tlc4b/TLCRunner.java
@@ -53,7 +53,7 @@ public class TLCRunner {
String separator = FileSystems.getDefault().getSeparator();
boolean isWindows = System.getProperty("os.name").toLowerCase(Locale.ROOT).startsWith("windows");
- String jvm = System.getProperty("java.home") + separator + "bin" + separator + (isWindows ? "java" : "java.exe");
+ String jvm = System.getProperty("java.home") + separator + "bin" + separator + (isWindows ? "java.exe" : "java");
String classpath = System.getProperty("java.class.path");
List<String> command = new ArrayList<>();
--
GitLab