From 0cc0ae1ee83d8901fcf79492926c414d62f8f416 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Thu, 14 Oct 2010 21:45:32 +0000
Subject: Implement struct printing

---
 Source/ModelViewer/DataModel.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/ModelViewer/DataModel.cs')

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index f1b0b26f..ff5206c7 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -141,6 +141,8 @@ namespace Microsoft.Boogie.ModelViewer
       if (!cond) throw new System.Exception("assertion violation");
     }
 
+    public static IEnumerable<T> Empty<T>() { yield break; }
+
     public static IEnumerable<T> Map<S, T>(this IEnumerable<S> inp, Func<S, T> conv)
     {
       foreach (var s in inp) yield return conv(s);
-- 
cgit v1.2.3