bump

rishav-karanjit · rishav-karanjit · commit 5ee795ebf5d2 · 2025-08-14T09:56:03.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit dced6413f68b800c1018ca92890e9c4323a64d36
+Subproject commit b60ee9f53a997838ba02510de40c609b17a3a728
