diff options
author | 2015-01-08 23:50:45 +0100 | |
---|---|---|
committer | 2015-01-08 23:50:45 +0100 | |
commit | e634dc460740032732490ed8d89f4294d11feb68 (patch) | |
tree | e3d5cdfcf3369572c8e30388ec8cda56da660c7c /Source/Core/AbsyQuant.cs | |
parent | 795fe5e527cdcce32494403823cccf5dec11af2a (diff) |
Tiny change ('Trigger' class)
Diffstat (limited to 'Source/Core/AbsyQuant.cs')
-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 cbafb310..00a38d23 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -425,7 +425,7 @@ namespace Microsoft.Boogie { Contract.Requires(tr.Count >= 1);
Contract.Requires(pos || tr.Count == 1);
this.Pos = pos;
- this.Tr = new List<Expr>(tr);
+ this.tr = new List<Expr>(tr);
this.Next = next;
}
|