From 81d843710f008512f2a75040ef679cefdab108e1 Mon Sep 17 00:00:00 2001 From: seebees Date: Thu, 15 Aug 2024 12:04:07 -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 b453b7ed9..47f297e65 100644 --- a/project.properties +++ b/project.properties @@ -1,4 +1,4 @@ -projectJavaVersion=3.6.1 +projectJavaVersion=3.6.1-SNAPSHOT mplDependencyJavaVersion=1.5.1 dafnyVersion=4.2.0 dafnyVerifyVersion=4.7.0