diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-19 11:15:23 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-19 11:15:23 +0100 |
| commit | 9ba2ad319e142834d83a0b48e94ef378c870bcdb (patch) | |
| tree | aca79c623b57ff563d19c378cbf78ed785a2ff7e /Source/ModelViewer | |
| parent | 5f26d6075b8493f3e240c5d356b5fc588c5d7985 (diff) | |
fix
Diffstat (limited to 'Source/ModelViewer')
| -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 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);
|