diff --git a/project.properties b/project.properties index 6317dee55..3e343a297 100644 --- a/project.properties +++ b/project.properties @@ -1,5 +1,5 @@ projectJavaVersion=3.8.1-SNAPSHOT -mplDependencyJavaVersion=1.10.1-SNAPSHOT +mplDependencyJavaVersion=1.11.0 dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.1 dafnyRuntimeJavaVersion=4.9.0 diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 6a1017f5f..8eef6c475 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 6a1017f5f87f39bb8eace9e92704bb2b64b16e65 +Subproject commit 8eef6c4755326d0bd09af1a87033dc78bc14f6d4