From 44d287c0127076a015778f66d378dff7c1c3d516 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 20 Sep 2024 09:18:02 -0700 Subject: [PATCH] chore: enable local testing --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index 22a0b53cd..62662e92f 100644 --- a/project.properties +++ b/project.properties @@ -1,4 +1,4 @@ -projectJavaVersion=3.7.0 +projectJavaVersion=3.7.0-SNAPSHOT mplDependencyJavaVersion=1.6.0 dafnyVersion=4.8.0 dafnyVerifyVersion=4.8.0