diff options
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;
}
|