Update smithy-dafny (main-1.x)

robin-aws · robin-aws · commit e49a0dc6049e · 2024-06-21T15:02:52.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 40e835caffcffce5314c5775070debba4f293644
+Subproject commit ee76c0b8c9bf656eb517de5e9684f21b3d857932
