1 files changed, 0 insertions, 20 deletions
diff --git a/Source/Dafny/Util.cs b/Source/Dafny/Util.cs
deleted file mode 100644
index 8db3ebc8..00000000
--- a/Source/Dafny/Util.cs
+++ /dev/null
@@ -1,20 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Linq;
-using System.Text;
-
-namespace Microsoft.Dafny {
-  class Util
-  {
-     public delegate string ToString<T>(T t);
-     public static string Comma<T>(string comma, IEnumerable<T> l, ToString<T> f) {
-       string res = "";
-       string c = "";
-       foreach(var t in l) {
-         res += c + f(t);
-         c = comma;
-       }
-       return res;
-     }
-  }
-}