Bumping version number

dafny-lang · Jan 30, 2021 · ebdeecd · ebdeecd
1 parent 5ed8716
commit ebdeecd
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 pre-release 3, year 2018+3 month 01 day 25
-[assembly: AssemblyVersion("3.0.0.30125")]
-[assembly: AssemblyFileVersion("3.0.0.30125")]
+// Version 3.0.0 pre-release 4, year 2018+3 month 01 day 30
+[assembly: AssemblyVersion("3.0.0.30130")]
+[assembly: AssemblyFileVersion("3.0.0.30130")]