diff --git a/project.properties b/project.properties
index 92272ebf6..a1a4066db 100644
--- a/project.properties
+++ b/project.properties
@@ -5,7 +5,7 @@
 #     export `export `cat ./aws-cryptographic-material-providers-library-dafny/project.properties`
 # The Java project include this file as a Gradle properties
 # And the Dotnet projects include and parse this file.
-dafnyVersion=4.9.0
+dafnyVersion=4.11.0
 dafnyVerifyVersion=4.9.1
 # TEMPORARY WORKAROUND: When updating dafnyVersion, try to REMOVE this property first.
 # Only keep if the new Dafny version has Python runtime compatibility issues.