From c7b3e3bd527f9603477ec2e3ad869c8187e48d3c Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Tue, 4 Jun 2024 11:11:12 -0400 Subject: [PATCH] chore: update project.properties to be SNAPSHOT --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index e1db77aed..2d56d3114 100644 --- a/project.properties +++ b/project.properties @@ -1,4 +1,4 @@ -projectJavaVersion=3.5.0 +projectJavaVersion=3.5.0-SNAPSHOT mplDependencyJavaVersion=1.4.0 dafnyRuntimeJavaVersion=4.2.0 smithyDafnyJavaConversionVersion=0.1