From eb578c1e126eab19c17ce463903e55f96264826e Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 10 Dec 2010 23:24:10 +0000
Subject: Rework the namer interface a bit

---
 Source/ModelViewer/BaseProvider.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs
index b4ed0977..80d2e3c9 100644
--- a/Source/ModelViewer/BaseProvider.cs
+++ b/Source/ModelViewer/BaseProvider.cs
@@ -17,7 +17,7 @@ namespace Microsoft.Boogie.ModelViewer.Base
 
     public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts)
     {
-      return new GenericModel(m);
+      return new GenericModel(m, opts);
     }
   }
 
@@ -26,7 +26,8 @@ namespace Microsoft.Boogie.ModelViewer.Base
     internal Model m;
     List<BaseState> states = new List<BaseState>();
 
-    public GenericModel(Model m)
+    public GenericModel(Model m, ViewOptions opts)
+        : base(opts)
     {
       this.m = m;
       foreach (var s in m.States)
-- 
cgit v1.2.3