diff --git a/project.properties b/project.properties
index 479454a16..72ef607eb 100644
--- a/project.properties
+++ b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.5.0-SNAPSHOT
-mplDependencyJavaVersion=1.5.1
+mplDependencyJavaVersion=1.5.1-SNAPSHOT
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0
 dafnyRuntimeJavaVersion=4.2.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index cdd4885cb..8a732bdc7 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit cdd4885cb22957b04167b11d8b40edbdf4301d8d
+Subproject commit 8a732bdc71942bf77050bf9b4d2440d41176506d