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