New version number: 1.9.8.030829

dafny-lang · Aug 29, 2016 · 48af8f3 · 48af8f3
1 parent f96be0a
commit 48af8f3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/version.cs b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 1.9.7, year 2013+3 month 04 day 01
-[assembly: AssemblyVersion("1.9.7.30401")]
-[assembly: AssemblyFileVersion("1.9.7.30401")]
+// Version 1.9.8, year 2013+3 month 08 day 29
+[assembly: AssemblyVersion("1.9.8.30829")]
+[assembly: AssemblyFileVersion("1.9.8.30829")]