Skip to content

Commit d17d8ff

Browse files
robin-awsrobin-aws
committed
Revert local change
1 parent d79b4aa commit d17d8ff

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎project.properties

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
projectJavaVersion=3.4.0-SNAPSHOT
22
mplDependencyJavaVersion=1.3.0-SNAPSHOT
3-
dafnyRuntimeJavaVersion=4.6.0
3+
dafnyRuntimeJavaVersion=4.2.0
44
smithyDafnyJavaConversionVersion=0.1

0 commit comments

Comments
 (0)