chore(dafny): update project.properties and mpl submodule (#1770)

josecorella · web-flow · commit f4505027aca2 · 2025-04-01T18:32:26.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.8.0-SNAPSHOT
-mplDependencyJavaVersion=1.10.1-SNAPSHOT
+mplDependencyJavaVersion=1.10.1
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit d3e79168a23381973fab90e0c11e5ec0fb8a37fd
+Subproject commit 309fc32c32097f6f5a9461128bae246d764fa64d
