latest sub-modules

seebees · seebees · commit d577df4efce8 · 2024-10-04T09:56:15.000-07:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 66a04bf31bcfd8fd514acea740d8e670ab565ed9
+Subproject commit 9d22d5475695f806e0846375e167c85495b4236f
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 98939e130695095386059967509a19299dfac320
+Subproject commit 8cc37299f68cc9017463ef7446fd02fb887ce096
