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

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

diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
index d9c596cb8..0504fa09b 160000
--- a/submodules/smithy-dafny
+++ b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit d9c596cb85ce55434efb57a5f88e6dd7fb68d505
+Subproject commit 0504fa09b5af5d13c9bd820d2bcc53618019cad0