update forms dep

sireum · Jan 14, 2025 · a687514 · a687514
1 parent ca2f8ed
commit a687514
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.23
-org.sireum.version.forms=4.20250106.48601e9
+org.sireum.version.forms=4.20250114.0856769
 org.sireum.version.jacoco=0.8.12
 org.sireum.version.nik=23+38,24.1.0+1
 org.sireum.version.z3=4.13.4