From c5c2c9465a53e4b35a20ad5efe73882dc6a5af34 Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Sat, 23 Feb 2013 12:07:20 -0800
Subject: removed call forall and * args to calls

---
 Source/VCExpr/Boogie2VCExpr.cs | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'Source/VCExpr/Boogie2VCExpr.cs')

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index 3035c9de..d08a4d4b 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -647,12 +647,6 @@ namespace Microsoft.Boogie.VCExprAST {
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }
-    public override Cmd VisitCallForallCmd(CallForallCmd node) {
-      //Contract.Requires(node != null);
-      Contract.Ensures(Contract.Result<Cmd>() != null);
-      Contract.Assert(false);
-      throw new cce.UnreachableException();
-    }
     public override CmdSeq VisitCmdSeq(CmdSeq cmdSeq) {
       //Contract.Requires(cmdSeq != null);
       Contract.Ensures(Contract.Result<CmdSeq>() != null);
-- 
cgit v1.2.3