chore: point to new smithy-dafny

josecorella · josecorella · commit 44d29acec157 · 2024-07-16T15:17:56.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit d9c596cb85ce55434efb57a5f88e6dd7fb68d505
+Subproject commit 0504fa09b5af5d13c9bd820d2bcc53618019cad0
