update

lucasmcdonald3 · lucasmcdonald3 · commit 5e38451899ea · 2024-10-29T11:46:05.000-07:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit b3145c3ff54aa884a95ba336a842aaeb2d3593ca
+Subproject commit a952fc32e77fe38cdfabfc4655788493b2d17565
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 55c68f474d8dadd767a312781bc6fd78f922ada6
+Subproject commit 9e2b88b09d3a63d0be7f03df39fbfe3cc0f02dfa
