diff options
Diffstat (limited to 'Source/ModelViewer/BaseProvider.cs')
-rw-r--r-- | Source/ModelViewer/BaseProvider.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs index 6418bc7a..247021a0 100644 --- a/Source/ModelViewer/BaseProvider.cs +++ b/Source/ModelViewer/BaseProvider.cs @@ -38,7 +38,7 @@ namespace Microsoft.Boogie.ModelViewer.Base state = s;
}
- public override IEnumerable<string> Values
+ public override IEnumerable<string> Aliases
{
get { foreach (var v in state.Variables) yield return v; }
}
@@ -62,7 +62,7 @@ namespace Microsoft.Boogie.ModelViewer.Base this.elt = elt;
}
- public override IEnumerable<string> Values
+ public override IEnumerable<string> Aliases
{
get
{
|