Allow for modified tool name when printing version info.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10777 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · bb67630285
1 changed files with 1 additions and 1 deletions
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@ -2329,7 +2329,7 @@ public class PrismCL implements PrismModelListener

 	private void printVersion()
 	{
-		mainLog.println("PRISM version " + Prism.getVersion());
+		mainLog.println(Prism.getToolName() + " version " + Prism.getVersion());
 	}

 	/**