summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/BaseProvider.cs
diff options
context:
space:
mode:
authorGravatar MichalMoskal <unknown>2011-01-26 23:30:35 +0000
committerGravatar MichalMoskal <unknown>2011-01-26 23:30:35 +0000
commitcfa55f3b6815a7fa81409c7742fe81a695a6299d (patch)
treebd4a7956e3ef8f3b1ef11ca2a40567ce1e0aff27 /Source/ModelViewer/BaseProvider.cs
parent6a6b99060e1b13cc5b9ebe394137fa23a1308710 (diff)
VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide states that do not update "$s" (heap).
Fix some bugs in source view. Rename SourceLocation to SourceViewState.
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 7f8e4ae2..1e9e9cf9 100644
--- a/Source/ModelViewer/BaseProvider.cs
+++ b/Source/ModelViewer/BaseProvider.cs
@@ -71,7 +71,7 @@ namespace Microsoft.Boogie.ModelViewer.Base
nodes.Add(new ContainerNode<Model.Func>("[Constants]", f => f.Arity != 0 ? null : new AppNode(this, f.Apps.First()), m.model.Functions));
}
- public virtual SourceLocation ShowSource()
+ public virtual SourceViewState ShowSource()
{
return null;
}