diff options
| author |  MichalMoskal <unknown> | 2011-01-29 01:56:14 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 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
{
|