From 102524d845ed48c787b76de8b623b2e122bab6ac Mon Sep 17 00:00:00 2001
From: Darwin Chowdary <39110935+imabhichow@users.noreply.github.com>
Date: Wed, 24 Sep 2025 11:47:14 -0700
Subject: [PATCH] chore: test dafny version step

---
 project.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.