tool: Add version for auditor package

dafny-lang · Oct 11, 2022 · 4f61682 · 4f61682
1 parent 1f6bf98
commit 4f61682
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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>