From 9ba2ad319e142834d83a0b48e94ef378c870bcdb Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@me.com>
Date: Fri, 19 Jul 2013 11:15:23 +0100
Subject: fix

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

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

diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs
index bd01cc16..0e0c6093 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);
-- 
cgit v1.2.3