From 76f2ff3fb0dfed77c69ae42e0654466d78aee6bb Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Sat, 29 Jan 2011 01:56:14 +0000
Subject: Improve display of sets; add \now "variable";

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

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

diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs
index 74e206aa..ff33231f 100644
--- a/Source/ModelViewer/DataModel.cs
+++ b/Source/ModelViewer/DataModel.cs
@@ -174,7 +174,7 @@ namespace Microsoft.Boogie.ModelViewer
       }
     }
 
-    public IEnumerable<Model.Element> References
+    public virtual IEnumerable<Model.Element> References
     {
       get
       {
-- 
cgit v1.2.3