From 51f1bdfd1862a561e4c2036a05a44d03d4f8e3db Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Thu, 25 Jul 2024 11:43:19 -0400
Subject: [PATCH] chore: update version to snapshot

---
 project.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project.properties b/project.properties
index 8f680807d..792311ce8 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
-projectJavaVersion=3.6.0
+projectJavaVersion=3.6.0-SNAPSHOT
 mplDependencyJavaVersion=1.5.1
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0