Allow setting options.OutputWriter (#788)

boogie-org · Sep 25, 2023 · 1e7a4f5 · 1e7a4f5
1 parent 8cadc53
commit 1e7a4f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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>

diff --git a/Source/ExecutionEngine/CommandLineOptionEngine.cs b/Source/ExecutionEngine/CommandLineOptionEngine.cs
@@ -7,7 +7,7 @@ namespace Microsoft.Boogie;
 
 public class CommandLineOptionEngine
 {
-  public TextWriter OutputWriter { get; }
+  public TextWriter OutputWriter { get; set; }
   public string ToolName { get; set; }
   public string DescriptiveToolName { get; set; }