added syntax for par call and ParCallCmd

1 files changed, 6 insertions, 0 deletions

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);