Update smithy-dafny

robin-aws · robin-aws · commit b60430e8f61e · 2024-10-28T09:09:30.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 98939e130695095386059967509a19299dfac320
+Subproject commit 1ac83f584f7ffd7016360fd4367cf4864d9b3a29
