From 3b7e0b36496f504ae62acc61294d5b399feaf11c Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 11 Feb 2011 19:37:21 +0000
Subject: Get rid of some warnings.

---
 Source/Core/Util.cs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Source/Core')

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();
     }
 
-- 
cgit v1.2.3