smithy dafny bump test

rishav-karanjit · rishav-karanjit · commit 8cae1fe72467 · 2025-08-13T14:43:47.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 97456490a31f37c28d2269b26bce4007ca0edf59
+Subproject commit 29228f53e97bc5f89f4a82887b11688a7d8ab6e9
