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.0
-dafnyVerifyVersion=4.9.0
-dafnyFormatVersion=4.9.0
+dafnyVersion=4.9.1
+dafnyVerifyVersion=4.9.1
+dafnyFormatVersion=4.9.1
 projectJavaVersion=4.1.0
 mplDependencyJavaVersion=1.9.0-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0