From ca67a09a8486b1f008527e8bd38d8a2b22c35d34 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 23 Aug 2024 11:59:11 -0700 Subject: [PATCH] chore: allow local testing --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index a20b1ec57..1a4050afc 100644 --- a/project.properties +++ b/project.properties @@ -1,4 +1,4 @@ -projectJavaVersion=3.6.2 +projectJavaVersion=3.6.2-SNAPSHOT mplDependencyJavaVersion=1.5.1 dafnyVersion=4.2.0 dafnyVerifyVersion=4.7.0