From 4ea5852fcf3b64dbeb8749668f67faaabfaec159 Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Tue, 16 Jul 2024 15:15:57 -0700
Subject: [PATCH] chore: point to new smithy-dafny

---
 smithy-dafny | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smithy-dafny b/smithy-dafny
index 8130e03d4..0504fa09b 160000
--- a/smithy-dafny
+++ b/smithy-dafny
@@ -1 +1 @@
-Subproject commit 8130e03d43deb5b4483592d7e1958109b6f895d4
+Subproject commit 0504fa09b5af5d13c9bd820d2bcc53618019cad0