diff options
| author |  0biha <unknown> | 2015-01-08 05:40:29 +0100 |
|---|---|---|
| committer | 0biha <unknown> | 2015-01-08 05:40:29 +0100 |
| commit | 9f1642d0ecf693cb4773ef95b73b511cdc3ee65f (patch) | |
| tree | 27bd6f8d720ec64f07fb7392feeb380c10bced39 /Source | |
| parent | ce2f2bd8f2b2b3ce7170ec329acbfdacbac82fda (diff) | |
Tiny fix (made field 'tr' of class 'Trigger' private)
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Core/AbsyQuant.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index 664d243d..cbafb310 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -389,7 +389,7 @@ namespace Microsoft.Boogie { public class Trigger : Absy {
public readonly bool Pos;
[Rep]
- public List<Expr>/*!*/ tr;
+ private List<Expr>/*!*/ tr;
public IList<Expr>/*!*/ Tr
{
|