1 files changed, 0 insertions, 8 deletions
diff --git a/Source/Core/StandardVisitor.ssc b/Source/Core/StandardVisitor.ssc
index c6b50b24..6e50f6db 100644
--- a/Source/Core/StandardVisitor.ssc
+++ b/Source/Core/StandardVisitor.ssc
@@ -319,14 +319,6 @@ namespace Microsoft.Boogie
       return node; 
     }
 
-    /// <summary>
-    /// Just invoke VisitNAryExpr
-    /// </summary>
-    public virtual Expr! VisitLoopPredicate(LoopPredicate! node) 
-    {
-      return this.VisitNAryExpr(node);            
-    }
-
     public virtual AssignLhs! VisitMapAssignLhs(MapAssignLhs! node)
     {
       node.Map = (AssignLhs!)this.Visit(node.Map);