Fixed space missing windows - fix 2084582 (#182)

Fixes: https://bugs.launchpad.net/tapaal/+bug/2084582
TAPAAL · Oct 21, 2024 · 3f84132 · 3f84132
2 parents 0b8078a + f545f8b
commit 3f84132
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;