Remove dead method argument

Patch by Jeroen Ketema

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index c5685194..5fed89da 100644
--- a/Source/ModelViewer/Main.cs
+++ b/Source/ModelViewer/Main.cs
@@ -99,7 +99,7 @@ namespace Microsoft.Boogie.ModelViewer
 

       using (var rd = new StringReader(model))

       {

-        allModels = Model.ParseModels(rd, "").ToArray();

+        allModels = Model.ParseModels(rd).ToArray();

       }

 

       AddAndLoadModel(setModelIdTo);

@@ -112,7 +112,7 @@ namespace Microsoft.Boogie.ModelViewer
 

       if (!string.IsNullOrWhiteSpace(modelFileName) && File.Exists(modelFileName)) {

         using (var rd = File.OpenText(modelFileName)) {

-          allModels = Model.ParseModels(rd,"").ToArray();

+          allModels = Model.ParseModels(rd).ToArray();

         }

 

         AddAndLoadModel(setModelIdTo);