From fc423f43e4c1bde40805af216b727181a6e6247c Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Mon, 18 Nov 2024 11:45:34 -0500 Subject: [PATCH] m --- submodules/MaterialProviders | 2 +- submodules/smithy-dafny | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 8377acfbd..139f903e9 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 8377acfbd505236ca9bb58f21f95cfc5122d1cf9 +Subproject commit 139f903e9ebfbb77ac6008f2b81b73565915835e diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny index 180ad67ad..c47e0832b 160000 --- a/submodules/smithy-dafny +++ b/submodules/smithy-dafny @@ -1 +1 @@ -Subproject commit 180ad67ad9f80a8b5f9272b06dbbdcce24d4f369 +Subproject commit c47e0832b9dfafaa112593dd493728823804cc9b