Revert "new version"

seebees · seebees · commit 759f9159e5d5 · 2024-10-16T09:57:51.000-07:00
This reverts commit bde1ea3.
diff --git a/project.properties b/project.properties
@@ -1,6 +1,6 @@
 projectJavaVersion=3.7.0-SNAPSHOT
 mplDependencyJavaVersion=1.6.0
-dafnyVersion=4.8.1
-dafnyVerifyVersion=4.8.1
-dafnyRuntimeJavaVersion=4.8.1
+dafnyVersion=4.8.0
+dafnyVerifyVersion=4.8.0
+dafnyRuntimeJavaVersion=4.8.0
 smithyDafnyJavaConversionVersion=0.1
