diff --git a/smithy-dafny b/smithy-dafny
index 5fb865424..6475c2ea5 160000
--- a/smithy-dafny
+++ b/smithy-dafny
@@ -1 +1 @@
-Subproject commit 5fb865424a2c30245407c5dc507466e4ce4ec38c
+Subproject commit 6475c2ea5284c1204285156c74863c4c3294c7a0