Skip to content

Commit 8931e27

Browse files
texastonytexastony
authored
chore(Java): bump conversion library (#1423)
1 parent 2b85507 commit 8931e27

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
@@ -3,4 +3,4 @@ mplDependencyJavaVersion=1.6.0
33
dafnyVersion=4.8.0
44
dafnyVerifyVersion=4.8.0
55
dafnyRuntimeJavaVersion=4.8.0
6-
smithyDafnyJavaConversionVersion=0.1
6+
smithyDafnyJavaConversionVersion=0.1.1

0 commit comments

Comments
 (0)