1 files changed, 10 insertions, 12 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index 1b8353e1..0a2e5a22 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -66,18 +66,6 @@ namespace Microsoft.Boogie {
     {
       return source1.Zip(source2, (e1, e2) => new Tuple<TSource1, TSource2>(e1, e2));
     }
-
-    public static bool ListEquals<A>(this List<A> xs, List<A> ys) {
-      var equal = xs.Count == ys.Count;
-      for (int i = 0; equal && i < xs.Count; i++) {
-        equal = object.Equals(xs[i], ys[i]);
-      }
-      return equal;
-    }
-
-    public static int ListHash<A>(this List<A> xs) {
-      return xs.Aggregate(xs.Count, (current, x) => current ^ xs.GetHashCode());
-    }
   }
 
   public class TokenTextWriter : IDisposable {
@@ -264,6 +252,11 @@ namespace Microsoft.Boogie {
       }
     }
 
+    public TokenTextWriter(string filename)
+        : this(filename, false)
+    {
+    }
+
     public TokenTextWriter(string filename, bool pretty)
       : base() {
       Contract.Requires(filename != null);
@@ -300,6 +293,11 @@ namespace Microsoft.Boogie {
       this.writer = writer;
     }
 
+    public TokenTextWriter(TextWriter writer)
+        : this(writer, false)
+    {
+    }
+
     public TokenTextWriter(TextWriter writer, bool pretty)
       : base() {
       Contract.Requires(writer != null);