From 8931e274c60a5fdb045dbcf24770820ebe05f741 Mon Sep 17 00:00:00 2001
From: Tony Knapp <5892063+texastony@users.noreply.github.com>
Date: Tue, 8 Oct 2024 16:00:53 -0700
Subject: [PATCH] chore(Java): bump conversion library (#1423)

---
 project.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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