diff options
Diffstat (limited to 'Source/ModelViewer/BaseProvider.cs')
| -rw-r--r-- | Source/ModelViewer/BaseProvider.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs index dddc8c30..b4ed0977 100644 --- a/Source/ModelViewer/BaseProvider.cs +++ b/Source/ModelViewer/BaseProvider.cs @@ -15,7 +15,7 @@ namespace Microsoft.Boogie.ModelViewer.Base return true;
}
- public ILanguageSpecificModel GetLanguageSpecificModel(Model m)
+ public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts)
{
return new GenericModel(m);
}
|