Add IEnumerable.Concat1 method.

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index d0d8693a..d557bc55 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -27,6 +27,14 @@ namespace Microsoft.Boogie {
       return sb.ToString();

     }

 

+    public static IEnumerable<T> Concat1<T>(this IEnumerable<T> objects, T final)

+    {

+      foreach (var s in objects) {

+        yield return s;

+      }

+      yield return final;

+    }

+

     public static string MapConcat<T>(this IEnumerable<T> objects, Func<T,string> toString, string separator)

     {

       var sb = new StringBuilder();