Adjust back (from the recent change in version number printing) the last line of verifier output

Rustan Leino · Rustan Leino · commit 316e3ab37448 · 2017-09-22T14:29:50.000-07:00
diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs
@@ -12,7 +12,7 @@ public class DafnyOptions : Bpl.CommandLineOptions
     private ErrorReporter errorReporter;
 
     public DafnyOptions(ErrorReporter errorReporter = null)
-      : base("Dafny", "Dafny") {
+      : base("Dafny", "Dafny program verifier") {
         this.errorReporter = errorReporter;
         SetZ3ExecutableName();
     }
@@ -26,6 +26,11 @@ public override string VersionNumber {
           ;
       }
     }
+    public override string Version {
+      get {
+        return ToolName + VersionSuffix;
+      }
+    }
     public override string VersionSuffix {
       get {
         return " " + VersionNumber + " technical preview 0";

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ public class DafnyOptions : Bpl.CommandLineOptions`
`12`	`12`	`private ErrorReporter errorReporter;`
`13`	`13`
`14`	`14`	`public DafnyOptions(ErrorReporter errorReporter = null)`
`15`		`- : base("Dafny", "Dafny") {`
	`15`	`+ : base("Dafny", "Dafny program verifier") {`
`16`	`16`	`this.errorReporter = errorReporter;`
`17`	`17`	`SetZ3ExecutableName();`
`18`	`18`	`}`
`@@ -26,6 +26,11 @@ public override string VersionNumber {`
`26`	`26`	`;`
`27`	`27`	`}`
`28`	`28`	`}`
	`29`	`+ public override string Version {`
	`30`	`+ get {`
	`31`	`+ return ToolName + VersionSuffix;`
	`32`	`+ }`
	`33`	`+ }`
`29`	`34`	`public override string VersionSuffix {`
`30`	`35`	`get {`
`31`	`36`	`return " " + VersionNumber + " technical preview 0";`