Browse Source

Unneeded comment in launch script.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2387 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
commit
b379696ef4
  1. 1
      prism/src/bin/xprism.bat

1
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
Loading…
Cancel
Save