chore: update project.properties to be SNAPSHOT (#1087)

aws · Jun 4, 2024 · 6f2825e · 6f2825e
1 parent 0aee1d1
commit 6f2825e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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