auto commit

rishav-karanjit · rishav-karanjit · commit 08e336f17b6f · 2025-08-13T17:36:43.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 29228f53e97bc5f89f4a82887b11688a7d8ab6e9
+Subproject commit dced6413f68b800c1018ca92890e9c4323a64d36
