m

lucasmcdonald3 · lucasmcdonald3 · commit dbc0893412e0 · 2024-09-25T12:20:07.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.7.0-SNAPSHOT
-mplDependencyJavaVersion=1.7.0 
+mplDependencyJavaVersion=1.7.0
 dafnyVersion=4.8.0
 dafnyVerifyVersion=4.8.0
 dafnyRuntimeJavaVersion=4.8.0
