diff options
-rw-r--r-- | Source/Core/Util.cs | 2 |
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();
}
|