From 547dbaec94fac399b24cfd4ac56557379ab556a0 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 23 Feb 2011 22:21:52 +0000
Subject: Add IEnumerable.Concat1 method.

---
 Source/Core/Util.cs | 8 ++++++++
 1 file changed, 8 insertions(+)

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