new version

seebees · seebees · commit 0f010b0309cb · 2024-10-16T13:02:38.000-07:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 9d22d5475695f806e0846375e167c85495b4236f
+Subproject commit 7d7260201e4ad08d6553031a3c20bbc1791f0c57
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 8cc37299f68cc9017463ef7446fd02fb887ce096
+Subproject commit 119e545e48be15ac5d13671dabc3499edcc334de
