1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index a50acdba..a19bf78b 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -290,7 +290,7 @@ namespace Microsoft.Boogie {
         ensuresSeq[i] = this.VisitEnsures(ensuresSeq[i]);
       return ensuresSeq;
     }
-    public virtual ForallExpr VisitForallExpr(ForallExpr node) {
+    public virtual Expr VisitForallExpr(ForallExpr node) {
       Contract.Requires(node != null);
       Contract.Ensures(Contract.Result<ForallExpr>() != null);
       node = (ForallExpr)this.VisitQuantifierExpr(node);
@@ -854,7 +854,7 @@ namespace Microsoft.Boogie {
               this.VisitEnsures(ensuresSeq[i]);
           return ensuresSeq;
       }
-      public override ForallExpr VisitForallExpr(ForallExpr node)
+      public override Expr VisitForallExpr(ForallExpr node)
       {
           Contract.Ensures(Contract.Result<ForallExpr>() == node);
           return (ForallExpr)this.VisitQuantifierExpr(node);