From 323ef22b89add46d8178bd51b06f05e8a750f4dd Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 23 Jan 2013 18:14:00 -0800
Subject: Fixed printing of Dafny version number.

---
 Source/Dafny/DafnyOptions.cs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Source/Dafny/DafnyOptions.cs')

diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs
index d5057017..9176b8e1 100644
--- a/Source/Dafny/DafnyOptions.cs
+++ b/Source/Dafny/DafnyOptions.cs
@@ -13,6 +13,12 @@ namespace Microsoft.Dafny
       : base("Dafny", "Dafny program verifier") {
     }
 
+    public override string VersionNumber {
+      get {
+        return System.Diagnostics.FileVersionInfo.GetVersionInfo(System.Reflection.Assembly.GetExecutingAssembly().Location).FileVersion;
+      }
+    }
+
     private static DafnyOptions clo;
     public static DafnyOptions O {
       get { return clo; }
-- 
cgit v1.2.3