updated forms dep

sireum · Oct 31, 2024 · f10b539 · f10b539
1 parent fc85ff8
commit f10b539
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/versions.properties b/versions.properties
@@ -31,7 +31,7 @@ org.sireum.version.java=23.0.1+13
 org.sireum.version.7zip=24.08
 org.sireum.version.cvc=5-1.2.0,4-1.8
 org.sireum.version.coursier=2.1.14
-org.sireum.version.forms=dee0698
+org.sireum.version.forms=eae4e9d
 org.sireum.version.jacoco=0.8.12
 org.sireum.version.nik=23+38,24.1.0+1
 org.sireum.version.z3=4.13.3