From b7dff5fb22d1f1d84acb7633db64c5dc7631b04d Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 19 Jul 2024 09:25:56 -0700 Subject: [PATCH 1/2] chore: point to mpl 4.7.0 --- submodules/MaterialProviders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From 0b6c35bc8606898b867cb162c528d349f712875a Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 19 Jul 2024 09:49:20 -0700 Subject: [PATCH 2/2] use snapshot --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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