From 74f2464205e7b5886c13c1ab42d9f374d2f24dc8 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Thu, 3 Apr 2025 09:32:08 -0700 Subject: [PATCH] chore(java): allow local testing --- project.properties | 4 ++-- submodules/MaterialProviders | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/project.properties b/project.properties index ec79219de..e4b51a967 100644 --- a/project.properties +++ b/project.properties @@ -1,5 +1,5 @@ -projectJavaVersion=3.8.1 -mplDependencyJavaVersion=1.10.1 +projectJavaVersion=3.8.1-SNAPSHOT +mplDependencyJavaVersion=1.10.1-SNAPSHOT dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.0 dafnyRuntimeJavaVersion=4.9.0 diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 309fc32c3..ccd56cfae 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 309fc32c32097f6f5a9461128bae246d764fa64d +Subproject commit ccd56cfae7c784e3c852d1f4bcc0b7127525f7d8