From b379696ef40fbb5a04e41a05802a1c036a518e90 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Jan 2011 09:48:57 +0000 Subject: [PATCH] Unneeded comment in launch script. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2387 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/xprism.bat | 1 - 1 file changed, 1 deletion(-) diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index c7093dfa..d6a5fd40 100755 --- a/prism/src/bin/xprism.bat +++ b/prism/src/bin/xprism.bat @@ -22,6 +22,5 @@ rem - lib/epsgraphics.jar (Java EPS Graphics 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 rem Run PRISM through Java -rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* start javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* exit \ No newline at end of file