fix: test HEAD of MPL

texastony · texastony · commit 636114353ba2 · 2024-08-29T13:37:39.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.6.2-SNAPSHOT
-mplDependencyJavaVersion=1.5.1
+mplDependencyJavaVersion=1.5.1-SNAPSHOT
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0
 dafnyRuntimeJavaVersion=4.2.0
