From cfabd49876007f31719ee6a3b1b762ae5329c7dc Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Mon, 25 Sep 2023 16:22:59 +0200
Subject: [PATCH] Update Boogie version

---
 Source/Directory.Build.props | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
index f8caeab26..2c1f995cc 100644
--- a/Source/Directory.Build.props
+++ b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.0.4</Version>
+    <Version>3.0.5</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>