bump smithy dafny

rishav-karanjit · rishav-karanjit · commit cdf882f40bd7 · 2025-06-08T18:23:38.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 2f83e28ad9532b24c93d2229476c9a268355d338
+Subproject commit 339a33f8d8513f5a1a749181ce625005d7a6f4a1
