m

ajewellamz · ajewellamz · commit 3efbf18ef10f · 2025-07-31T09:57:02.000-04:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.9.0-SNAPSHOT
-mplDependencyJavaVersion=1.11.0-SNAPSHOT
+mplDependencyJavaVersion=1.11.1-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 4586a69b57cfbfe2d1f60c0f622ced5f35e0553d
+Subproject commit 63ce484ff4463427474df9781172c454d5821afd
