From df5c5f547990c1f80ab7594a1f9287ee03a61754 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 1 Apr 2016 15:41:57 -0700
Subject: New version number 1.9.7.30401, for binary release on Codeplex and
 Rise4fun. Changed copyright date to include 2016.

---
 Source/Dafny/DafnyOptions.cs | 2 +-
 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")]
-- 
cgit v1.2.3