diff options
Diffstat (limited to 'Source/Core/StandardVisitor.cs')
| -rw-r--r-- | Source/Core/StandardVisitor.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs index cf33e23e..d8707bc4 100644 --- a/Source/Core/StandardVisitor.cs +++ b/Source/Core/StandardVisitor.cs @@ -427,9 +427,9 @@ namespace Microsoft.Boogie { Contract.Ensures(Contract.Result<Cmd>() != null);
return (Cmd)this.Visit(node); // Call general visit so subtypes get visited by their particular visitor
}
- public virtual RESeq VisitRESeq(RESeq reSeq) {
+ public virtual List<RE> VisitRESeq(List<RE> reSeq) {
Contract.Requires(reSeq != null);
- Contract.Ensures(Contract.Result<RESeq>() != null);
+ Contract.Ensures(Contract.Result<List<RE>>() != null);
for (int i = 0, n = reSeq.Count; i < n; i++)
reSeq[i] = (RE)this.VisitRE(cce.NonNull(reSeq[i]));
return reSeq;
|