diff options
| author |  MichalMoskal <unknown> | 2010-11-09 01:31:30 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-09 01:31:30 +0000 |
| commit | 48130b22b197754f03f27a1da1f1c70d47d65900 (patch) | |
| tree | d2c570cac971014e6096ab51e14f2cde2d022cd2 /Source/ModelViewer/BaseProvider.cs | |
| parent | ea1898f88e2edcecf3a58923fcd1a5d2b87219a8 (diff) | |
Implement different levels of view (normal, expert, etc).
Display functions and pointer sets in VCC
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);
}
|