From a2e009e13ae0ee6b3e8b60372fb8cc20c2cb99f9 Mon Sep 17 00:00:00 2001
From: texastony <5892063+texastony@users.noreply.github.com>
Date: Tue, 8 Oct 2024 14:57:20 -0700
Subject: [PATCH] chore(Java): bump conversion library

---
 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