auto commit

rishav-karanjit · rishav-karanjit · commit 82997cf4c53e · 2025-06-08T19:12:18.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 819b4df20c104b1fe6a39f0064e262d42dcee206
+Subproject commit 273d055bdb3b89b6c2a3a13fd2101912c31a508b
