Get rid of some warnings.

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();

     }