diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-09 22:18:12 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 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;
|