diff options
author | 2013-07-09 22:18:12 +0100 | |
---|---|---|
committer | 2013-07-09 22:18:12 +0100 | |
commit | ae80b3cb5ae8e9808c66b0ef1593845fa46156d7 (patch) | |
tree | a9537648e54fbbf61918bd4e27142f11a244c0fd /Source/ModelViewer/Main.cs | |
parent | 0ad93c637c97672fa71c380f9112ea1b7d6572d8 (diff) |
fix in modelviewer, ParseModels now requires 2 arguments, second should be an empty string for the default parser
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-rw-r--r-- | Source/ModelViewer/Main.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index 2e612aa1..09dce05f 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -99,7 +99,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();
}
modelId = setModelIdTo;
|