From 0a083a705a78be003d5f8f99efed1472b684ba0d Mon Sep 17 00:00:00 2001
From: Fausto Spoto <fausto.spoto@hotmoka.io>
Date: Sat, 4 Nov 2023 18:32:53 +0100
Subject: [PATCH] Updated version to 1.3.1

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 68f4b43b7..4d468a443 100644
--- a/pom.xml
+++ b/pom.xml
@@ -29,7 +29,7 @@ Note: submodules whose artifact must be deployed on Maven Central must activate
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <maven.compiler.source>11</maven.compiler.source>
     <maven.compiler.target>11</maven.compiler.target>
-    <hotmoka.version>1.3.0</hotmoka.version>
+    <hotmoka.version>1.3.1</hotmoka.version>
     <takamaka.version>1.0.13</takamaka.version>
   </properties>