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