1.6.1 -> 1.7

JetBrains · Sep 6, 2021 · 7183134 · 7183134
1 parent 20b0ce8
commit 7183134
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/base/src/main/java/org/arend/module/serialization/ModuleSerialization.java b/base/src/main/java/org/arend/module/serialization/ModuleSerialization.java
@@ -21,7 +21,7 @@ public class ModuleSerialization {
   private final Set<Integer> myCurrentDefinitions = new HashSet<>();
   private boolean myComplete;
 
-  static final int VERSION = 8;
+  static final int VERSION = 9;
 
   public ModuleSerialization(ErrorReporter errorReporter, DependencyListener dependencyListener) {
     myErrorReporter = errorReporter;

diff --git a/build.gradle.kts b/build.gradle.kts
@@ -15,7 +15,7 @@ antlrVersion = "4.8"
 
 allprojects {
     group = "org.arend"
-    version = "1.6.1"
+    version = "1.7.0"
     repositories {
         jcenter()
         mavenCentral()