diff options
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);
|