Rework the namer interface a bit

1 files changed, 3 insertions, 2 deletions

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)