Revert smithy-dafny

robin-aws · robin-aws · commit 31f1b605aa93 · 2024-10-29T14:57:31.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 1ac83f584f7ffd7016360fd4367cf4864d9b3a29
+Subproject commit 98939e130695095386059967509a19299dfac320
