chore: bump mpl (#2245)

rishav-karanjit · web-flow · commit 2130fab35b08 · 2026-04-29T09:44:38.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.9.1-SNAPSHOT
-mplDependencyJavaVersion=1.11.2-SNAPSHOT
+mplDependencyJavaVersion=1.11.1-SNAPSHOT
 mplDependencyNetVersion=2.0.0
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit c57f0471be1837a528bfbfdc6aeda59375a63d21
+Subproject commit a4edcd94f8e51c271fa415b0c4d0b152e97c35f7
