diff options
| author |  Rustan Leino <unknown> | 2013-01-23 18:14:00 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-01-23 18:14:00 -0800 |
| commit | 323ef22b89add46d8178bd51b06f05e8a750f4dd (patch) | |
| tree | 0ab7829cf2a0202a8879d9c77f0b8565076eadc6 /Source/Dafny/DafnyOptions.cs | |
| parent | 1005adb004baf133b265eda5bfdc53022437e6ef (diff) | |
Fixed printing of Dafny version number.
Diffstat (limited to 'Source/Dafny/DafnyOptions.cs')
| -rw-r--r-- | Source/Dafny/DafnyOptions.cs | 6 |
1 files changed, 6 insertions, 0 deletions
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; }
|