chore: update version to snapshot

ajewellamz · ajewellamz · commit 51f1bdfd1862 · 2024-07-25T11:43:19.000-04:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-projectJavaVersion=3.6.0`
	`1`	`+projectJavaVersion=3.6.0-SNAPSHOT`
`2`	`2`	`mplDependencyJavaVersion=1.5.1`
`3`	`3`	`dafnyVersion=4.2.0`
`4`	`4`	`dafnyVerifyVersion=4.7.0`