diff options
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/Duplicator.cs | 2 | ||||
| -rw-r--r-- | Source/Core/StandardVisitor.cs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs index 759077b5..4350571a 100644 --- a/Source/Core/Duplicator.cs +++ b/Source/Core/Duplicator.cs @@ -290,7 +290,7 @@ namespace Microsoft.Boogie { return impl;
}
- public override LiteralExpr VisitLiteralExpr(LiteralExpr node) {
+ public override Expr VisitLiteralExpr(LiteralExpr node) {
//Contract.Requires(node != null);
Contract.Ensures(Contract.Result<LiteralExpr>() != null);
return base.VisitLiteralExpr((LiteralExpr)node.Clone());
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs index 963f3ec6..82cd5025 100644 --- a/Source/Core/StandardVisitor.cs +++ b/Source/Core/StandardVisitor.cs @@ -359,7 +359,7 @@ namespace Microsoft.Boogie { node = (Implementation)this.VisitDeclWithFormals(node); // do this first or last?
return node;
}
- public virtual LiteralExpr VisitLiteralExpr(LiteralExpr node) {
+ public virtual Expr VisitLiteralExpr(LiteralExpr node) {
Contract.Requires(node != null);
Contract.Ensures(Contract.Result<LiteralExpr>() != null);
return node;
@@ -915,7 +915,7 @@ namespace Microsoft.Boogie { this.VisitProcedure(cce.NonNull(node.Proc));
return (Implementation)this.VisitDeclWithFormals(node); // do this first or last?
}
- public override LiteralExpr VisitLiteralExpr(LiteralExpr node)
+ public override Expr VisitLiteralExpr(LiteralExpr node)
{
Contract.Ensures(Contract.Result<LiteralExpr>() == node);
return node;
|