chore: bump mpl and smithy-dafny

ajewellamz · ajewellamz · commit d8eb45ddf235 · 2025-03-28T16:58:35.000-04:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.8.0-SNAPSHOT
-mplDependencyJavaVersion=1.9.0-SNAPSHOT
+mplDependencyJavaVersion=1.10.1-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 80e28f3f7816e99ed22120cca6a81628a3ae4892
+Subproject commit d3e79168a23381973fab90e0c11e5ec0fb8a37fd
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 186339f258f9116a3c25cc781c747ab0e94e9dc6
+Subproject commit 276aacb938b78401f0f50006c01195e7d241b216
