diff options
author | 2013-07-19 11:15:23 +0100 | |
---|---|---|
committer | 2013-07-19 11:15:23 +0100 | |
commit | 9ba2ad319e142834d83a0b48e94ef378c870bcdb (patch) | |
tree | aca79c623b57ff563d19c378cbf78ed785a2ff7e /Source/ModelViewer/Main.cs | |
parent | 5f26d6075b8493f3e240c5d356b5fc588c5d7985 (diff) |
fix
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 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);
|