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