Merge branch '2024.2'

JetBrains · Sep 9, 2024 · 90915d5 · 90915d5
2 parents 1f40beb + ff7ac33
commit 90915d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java b/base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java
@@ -45,7 +45,7 @@ public ModuleProtos.Module getModuleProto() {
 
   public void readModule(ModuleScopeProvider moduleScopeProvider, DependencyListener dependencyListener) throws DeserializationException {
     if (myModuleProto.getVersion() != ModuleSerialization.VERSION) {
-      throw new DeserializationException("Version mismatch");
+      throw new DeserializationException("Version mismatch:\nLanguage version: " + ModuleSerialization.VERSION + "\nLibrary binaries version: " + myModuleProto.getVersion());
     }
 
     for (ModuleProtos.ModuleCallTargets moduleCallTargets : myModuleProto.getModuleCallTargetsList()) {