From bb67630285a485be7e61e39beac824224d342f5f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 15 Oct 2015 23:42:43 +0000 Subject: [PATCH] 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 --- prism/src/prism/PrismCL.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 11fe85d4..a72522e5 100644 --- 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()); } /**