diff options
-rw-r--r-- | Source/Dafny/DafnyOptions.cs | 2 | ||||
-rw-r--r-- | Source/version.cs | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs index 607090eb..9258503b 100644 --- a/Source/Dafny/DafnyOptions.cs +++ b/Source/Dafny/DafnyOptions.cs @@ -28,7 +28,7 @@ namespace Microsoft.Dafny }
public override string VersionSuffix {
get {
- return " version " + VersionNumber + ", Copyright (c) 2003-2015, Microsoft.";
+ return " version " + VersionNumber + ", Copyright (c) 2003-2016, Microsoft.";
}
}
diff --git a/Source/version.cs b/Source/version.cs index 86b12fed..24de7cec 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection;
-// Version 1.9.6, year 2013+2 month 11 day 16
-[assembly: AssemblyVersion("1.9.6.21116")]
-[assembly: AssemblyFileVersion("1.9.6.21116")]
+// Version 1.9.7, year 2013+3 month 04 day 01
+[assembly: AssemblyVersion("1.9.7.30401")]
+[assembly: AssemblyFileVersion("1.9.7.30401")]
|