From 67734e425160c5e10734bbb39ba8855f77f01b8c Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 16 Dec 2013 12:32:55 -0800
Subject: added syntax for par call and ParCallCmd

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

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

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index a6b01760..bd8e7c79 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -679,6 +679,12 @@ namespace Microsoft.Boogie.VCExprAST {
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }
+    public override Cmd VisitParCallCmd(ParCallCmd node) {
+      //Contract.Requires(node != null);
+      Contract.Ensures(Contract.Result<Cmd>() != null);
+      Contract.Assert(false);
+      throw new cce.UnreachableException();
+    }
     public override List<Cmd> VisitCmdSeq(List<Cmd> cmdSeq) {
       //Contract.Requires(cmdSeq != null);
       Contract.Ensures(Contract.Result<List<Cmd>>() != null);
-- 
cgit v1.2.3