Bump the version number to 2.16.5 (#714)

boogie-org · Apr 10, 2023 · 44a9631 · 44a9631
1 parent 03273e8
commit 44a9631
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Source/Core/TokenTextWriter.cs b/Source/Core/TokenTextWriter.cs
@@ -497,8 +497,7 @@ public void WriteLine(Absy node, int level, string text, params object[] args)
     public void Close()
     {
       if (disposeWriter) {
-        this.writer.Close();
-
+        writer.Close();
       }
     }
 

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