Try again Robin

robin-aws · robin-aws · commit dc0522c38e01 · 2024-05-16T09:09:56.000-07:00
diff --git a/project.properties b/project.properties
@@ -1,5 +1,5 @@
 projectJavaVersion=3.4.0-SNAPSHOT
 mplDependencyJavaVersion=1.3.0-SNAPSHOT
-dafnyRuntime=4.2.0
+dafnyVersion=4.2.0
 dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1
