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>