Update version to 3.1.0.30421

dafny-lang · Apr 21, 2021 · be9313e · be9313e
1 parent c8fbe0a
commit be9313e
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 3.0.0, year 2018+3 month 02 day 04
-[assembly: AssemblyVersion("3.0.0.30204")]
-[assembly: AssemblyFileVersion("3.0.0.30204")]
+// Version 3.1.0, year 2018+3 month 04 day 21
+[assembly: AssemblyVersion("3.1.0.30421")]
+[assembly: AssemblyFileVersion("3.1.0.30421")]