More work on the generic namer

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index de0121e9..c2ffdf4b 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -167,6 +167,8 @@ namespace Microsoft.Boogie.ModelViewer
 

     public static IEnumerable<T> Singleton<T>(T e) { yield return e; }

 

+    public static IEnumerable<T> Concat1<T>(this IEnumerable<T> s, T e) { return s.Concat(Singleton(e)); }

+

     public static IEnumerable<T> Map<S, T>(this IEnumerable<S> inp, Func<S, T> conv)

     {

       foreach (var s in inp) yield return conv(s);