diff --git a/project.properties b/project.properties
index 991446ddc..b86af0fd3 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
 projectJavaVersion=3.4.0-SNAPSHOT
-mplDependencyJavaVersion=1.3.0
+mplDependencyJavaVersion=1.4.0-SNAPSHOT
 dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 5f8d816df..8737cc215 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 5f8d816df1febed28bed1ba6c63cc9c826ae61a8
+Subproject commit 8737cc2157fb4065e7b252bade415555d4438212