diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index b3145c3ff..a952fc32e 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit b3145c3ff54aa884a95ba336a842aaeb2d3593ca
+Subproject commit a952fc32e77fe38cdfabfc4655788493b2d17565
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
index 55c68f474..9e2b88b09 160000
--- a/submodules/smithy-dafny
+++ b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 55c68f474d8dadd767a312781bc6fd78f922ada6
+Subproject commit 9e2b88b09d3a63d0be7f03df39fbfe3cc0f02dfa