diff options
author | leino <unknown> | 2015-04-06 15:57:02 -0700 |
---|---|---|
committer | leino <unknown> | 2015-04-06 15:57:02 -0700 |
commit | 985579d14df105de939807d1d344fc75ff49563d (patch) | |
tree | 9b58c56e9d3f9a6d9d32e7f756a80825c0a2d514 /Source/Dafny/DafnyOptions.cs | |
parent | f17ddacb785f5c1a50d5a7172f9f3d05676ec4c5 (diff) |
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
Diffstat (limited to 'Source/Dafny/DafnyOptions.cs')
-rw-r--r-- | Source/Dafny/DafnyOptions.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs index 61024688..4fc2de96 100644 --- a/Source/Dafny/DafnyOptions.cs +++ b/Source/Dafny/DafnyOptions.cs @@ -18,6 +18,11 @@ namespace Microsoft.Dafny return System.Diagnostics.FileVersionInfo.GetVersionInfo(System.Reflection.Assembly.GetExecutingAssembly().Location).FileVersion;
}
}
+ public override string VersionSuffix {
+ get {
+ return " version " + VersionNumber + ", Copyright (c) 2003-2015, Microsoft.";
+ }
+ }
private static DafnyOptions clo;
public static DafnyOptions O {
|