From 59998df94ae42bb0d6c97e5dceab468c0f41c715 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Fri, 5 Jul 2024 21:04:29 +0300
Subject: [PATCH] v1.10

---
 .../org/arend/module/serialization/ModuleSerialization.java     | 2 +-
 build.gradle.kts                                                | 2 +-
 2 files changed, 2 insertions(+), 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
index 92ef0f6f4..22f31e5da 100644
--- a/base/src/main/java/org/arend/module/serialization/ModuleSerialization.java
+++ b/base/src/main/java/org/arend/module/serialization/ModuleSerialization.java
@@ -22,7 +22,7 @@ public class ModuleSerialization {
   private final Set<Integer> myCurrentDefinitions = new HashSet<>();
   private boolean myComplete;
 
-  static final int VERSION = 13;
+  static final int VERSION = 14;
 
   public ModuleSerialization(ErrorReporter errorReporter, DependencyListener dependencyListener) {
     myErrorReporter = errorReporter;
diff --git a/build.gradle.kts b/build.gradle.kts
index 6db18a1c8..2dcc7a65c 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -15,7 +15,7 @@ antlrVersion = "4.10"
 
 allprojects {
     group = "org.arend"
-    version = "1.9.0"
+    version = "1.10.0"
     repositories {
         mavenCentral()
     }