diff --git a/project.properties b/project.properties
index 62662e92f..ecd5b08f4 100644
--- a/project.properties
+++ b/project.properties
@@ -3,4 +3,4 @@ mplDependencyJavaVersion=1.6.0
 dafnyVersion=4.8.0
 dafnyVerifyVersion=4.8.0
 dafnyRuntimeJavaVersion=4.8.0
-smithyDafnyJavaConversionVersion=0.1
+smithyDafnyJavaConversionVersion=0.1.1