diff options
author | wuestholz <unknown> | 2015-01-09 15:52:37 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2015-01-09 15:52:37 +0100 |
commit | 62f2f66e8d5fce4e9c80c0eebabd369ee0cc22d9 (patch) | |
tree | abd262bb335d9e4e213e6afafc7f77941886e531 /Source/Core/AlphaEquality.cs | |
parent | b1d0db908bb3cfe22f6162eb7930492f3c548e01 (diff) |
Made invariant of class 'StmtList' robust by:
- adding private field
- exposing read-only list
- copying incoming list
(with help from David Rohr)
Diffstat (limited to 'Source/Core/AlphaEquality.cs')
0 files changed, 0 insertions, 0 deletions