1 files changed, 0 insertions, 2 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index f6c94ee2..6bf0da30 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -18,7 +18,6 @@ namespace Microsoft.Boogie {
       Contract.Invariant(writer != null);
     }
 
-    bool writerOpenedHere = false;
     bool setTokens = true;
     int line = 1;
     int col;
@@ -111,7 +110,6 @@ namespace Microsoft.Boogie {
       Contract.Requires(filename != null);
       this.filename = filename;
       this.writer = new StreamWriter(filename);
-      this.writerOpenedHere = true;
       //base();
     }