1 files changed, 0 insertions, 9 deletions
diff --git a/Source/VCExpr/Boogie2VCExpr.ssc b/Source/VCExpr/Boogie2VCExpr.ssc
index 4698f541..08554344 100644
--- a/Source/VCExpr/Boogie2VCExpr.ssc
+++ b/Source/VCExpr/Boogie2VCExpr.ssc
@@ -288,11 +288,6 @@ namespace Microsoft.Boogie.VCExprAST
       return node;
     }
 
-    public override Expr! VisitLoopPredicate(LoopPredicate! node) 
-    {
-      return this.VisitNAryExpr(node);
-    }
-
     private VCExpr! TranslateNAryExpr(NAryExpr! node) {
       int n = node.Args.Length;
       List<VCExpr!>! vcs = new List<VCExpr!> (n);
@@ -721,10 +716,6 @@ namespace Microsoft.Boogie.VCExprAST
       return TranslateFunctionCall(functionCall, this.args, this.typeArgs);
     }
     
-    public VCExpr! Visit(LoopPredicateName! loopPredicateName) {
-	    return Gen.Variable(loopPredicateName.Name, Type.Bool); // We generate a variable. Intuition: it is a second order variable
-    }
-    
     public VCExpr! Visit(MapSelect! mapSelect) {
       return Gen.Select(this.args, this.typeArgs);
     }