From 4f616822209828e48cf63d3da66ee1c010f689d4 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <aarotomb@amazon.com>
Date: Tue, 11 Oct 2022 15:56:42 -0700
Subject: [PATCH] tool: Add version for auditor package

---
 src/Tools/Auditor/DafnyAuditor.csproj | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Tools/Auditor/DafnyAuditor.csproj b/src/Tools/Auditor/DafnyAuditor.csproj
index ad70a8a..1ec7fa4 100644
--- a/src/Tools/Auditor/DafnyAuditor.csproj
+++ b/src/Tools/Auditor/DafnyAuditor.csproj
@@ -6,6 +6,7 @@
     <TargetFramework>net6.0</TargetFramework>
     <ImplicitUsings>enable</ImplicitUsings>
     <Nullable>enable</Nullable>
+    <VersionPrefix>3.9.0.41003</VersionPrefix>
   </PropertyGroup>
 
   <ItemGroup>