fixed missing space windows

TAPAAL · Oct 20, 2024 · f545f8b · f545f8b
1 parent 0b8078a
commit f545f8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPN.java b/src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPN.java
@@ -458,7 +458,7 @@ private String createArgumentString(String modelFile, String queryFile, Verifica
 
     private String createArgumentString(String modelFile, String queryFile, String options) {
         if (Platform.isWindows()) {
-            return options + "\"" + modelFile + "\" \"" + queryFile + "\"";
+            return options + " \"" + modelFile + "\" \"" + queryFile + "\"";
         }
 
         return options + ' ' + modelFile + ' ' + queryFile;