From 5e38451899ead1921c13c745ef58e2d4b79468c3 Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Tue, 29 Oct 2024 11:46:05 -0700 Subject: [PATCH] update --- submodules/MaterialProviders | 2 +- submodules/smithy-dafny | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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