m

ajewellamz · ajewellamz · commit 58ecd5506cb9 · 2025-04-24T12:39:14.000-04:00
diff --git a/project.properties b/project.properties
@@ -1,6 +1,6 @@
 projectJavaVersion=3.8.1-SNAPSHOT
 mplDependencyJavaVersion=1.10.1-SNAPSHOT
 dafnyVersion=4.9.0
-dafnyVerifyVersion=4.9.1
+dafnyVerifyVersion=4.10.0
 dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1
