Add missing arg in xprism.bat (reported problems on Win 64).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4254 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · cf44bfead1
1 changed files with 1 additions and 1 deletions
--- a/prism/src/bin/xprism.bat
+++ b/prism/src/bin/xprism.bat
@ -23,5 +23,5 @@ rem  - lib/colt.jar (COLT statistics library)
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\jcommon.jar;%PRISM_DIR%\lib\jfreechart.jar;%PRISM_DIR%\lib\epsgraphics.jar;%PRISM_DIR%\lib\colt.jar

 rem Run PRISM through Java
-start javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
+start "PRISM" javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
 exit