1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index a19bf78b..963f3ec6 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -239,7 +239,7 @@ namespace Microsoft.Boogie {
       node.OutParams = this.VisitVariableSeq(node.OutParams);
       return node;
     }
-    public virtual ExistsExpr VisitExistsExpr(ExistsExpr node) {
+    public virtual Expr VisitExistsExpr(ExistsExpr node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<ExistsExpr>() != null);
       node = (ExistsExpr)this.VisitQuantifierExpr(node);
@@ -805,7 +805,7 @@ namespace Microsoft.Boogie {
           this.VisitVariableSeq(node.OutParams);
           return node;
       }
-      public override ExistsExpr VisitExistsExpr(ExistsExpr node)
+      public override Expr VisitExistsExpr(ExistsExpr node)
       {
           Contract.Ensures(Contract.Result<ExistsExpr>() == node);
           return (ExistsExpr)this.VisitQuantifierExpr(node);