Use smithy-dafny branch for now

robin-aws · robin-aws · commit a7ee20f01cb7 · 2024-06-12T13:10:19.000-07:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit b6d28dcd6968b00fa200fc0d51a1c83f437191ab
+Subproject commit c5b961be8989af0bc9dd0864d662291a92cbac24
