summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/BaseProvider.cs
diff options
context:
space:
mode:
authorGravatar MichalMoskal <unknown>2010-11-09 01:31:30 +0000
committerGravatar MichalMoskal <unknown>2010-11-09 01:31:30 +0000
commit48130b22b197754f03f27a1da1f1c70d47d65900 (patch)
treed2c570cac971014e6096ab51e14f2cde2d022cd2 /Source/ModelViewer/BaseProvider.cs
parentea1898f88e2edcecf3a58923fcd1a5d2b87219a8 (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.cs2
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);
}