m

Author: lucasmcdonald3

project.properties

@@ -1,8 +1,8 @@
 # This file stores the top level dafny version information.
 # All elements of the project need to agree on this version.
-dafnyVersion=4.9.1
-dafnyVerifyVersion=4.9.1
-dafnyFormatVersion=4.9.1
+dafnyVersion=4.10.0
+dafnyVerifyVersion=4.10.0
+dafnyFormatVersion=4.10.0
 projectJavaVersion=4.1.0
 mplDependencyJavaVersion=1.9.0-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0