From cf44bfead1f5a6b22046a417c35850e89a47aae0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 22 Dec 2011 16:13:18 +0000 Subject: [PATCH] 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 --- prism/src/bin/xprism.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index e62de892..48c60921 100755 --- 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 \ No newline at end of file