diff options
author | 2011-01-29 01:56:14 +0000 | |
---|---|---|
committer | 2011-01-29 01:56:14 +0000 | |
commit | 76f2ff3fb0dfed77c69ae42e0654466d78aee6bb (patch) | |
tree | 6fa6d8efde70ddc4fbdc4174ef74fcbf4b389642 /Source/ModelViewer/DataModel.cs | |
parent | 7e4372e9707dafd745fe381d618d6537336a24ef (diff) |
Improve display of sets; add \now "variable";
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
-rw-r--r-- | Source/ModelViewer/DataModel.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs index 74e206aa..ff33231f 100644 --- a/Source/ModelViewer/DataModel.cs +++ b/Source/ModelViewer/DataModel.cs @@ -174,7 +174,7 @@ namespace Microsoft.Boogie.ModelViewer }
}
- public IEnumerable<Model.Element> References
+ public virtual IEnumerable<Model.Element> References
{
get
{
|