From b13fac0761d39b4d3a7c5986e233ed499ceacaa6 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Wed, 26 Feb 2014 11:39:31 -0800
Subject: added tokens to calls and requires/ensures

---
 Source/Concurrency/OwickiGries.cs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs
index 5b4c56dd..6886a104 100644
--- a/Source/Concurrency/OwickiGries.cs
+++ b/Source/Concurrency/OwickiGries.cs
@@ -455,11 +455,11 @@ namespace Microsoft.Boogie
                     Substitution subst = Substituter.SubstitutionFromHashtable(map);
                     foreach (Requires req in callCmd.Proc.Requires)
                     {
-                        requiresSeq.Add(new Requires(req.Free, Substituter.Apply(subst, req.Condition)));
+                        requiresSeq.Add(new Requires(req.tok, req.Free, Substituter.Apply(subst, req.Condition), null));
                     }
                     foreach (Ensures ens in callCmd.Proc.Ensures)
                     {
-                        ensuresSeq.Add(new Ensures(ens.Free, Substituter.Apply(subst, ens.Condition)));
+                        ensuresSeq.Add(new Ensures(ens.tok, ens.Free, Substituter.Apply(subst, ens.Condition), null));
                     }
                     count++;
                 }
@@ -467,7 +467,7 @@ namespace Microsoft.Boogie
                 proc.AddAttribute("yields");
                 asyncAndParallelCallDesugarings[procName] = proc;
             }
-            CallCmd dummyCallCmd = new CallCmd(Token.NoToken, proc.Name, ins, outs);
+            CallCmd dummyCallCmd = new CallCmd(parCallCmd.tok, proc.Name, ins, outs);
             dummyCallCmd.Proc = proc;
             newCmds.Add(dummyCallCmd);
         }
@@ -854,7 +854,7 @@ namespace Microsoft.Boogie
                                 asyncAndParallelCallDesugarings[callCmd.Proc.Name] = new Procedure(Token.NoToken, string.Format("DummyAsyncTarget_{0}", callCmd.Proc.Name), callCmd.Proc.TypeParameters, callCmd.Proc.InParams, callCmd.Proc.OutParams, callCmd.Proc.Requires, new List<IdentifierExpr>(), new List<Ensures>());
                             }
                             var dummyAsyncTargetProc = asyncAndParallelCallDesugarings[callCmd.Proc.Name];
-                            CallCmd dummyCallCmd = new CallCmd(Token.NoToken, dummyAsyncTargetProc.Name, callCmd.Ins, callCmd.Outs);
+                            CallCmd dummyCallCmd = new CallCmd(callCmd.tok, dummyAsyncTargetProc.Name, callCmd.Ins, callCmd.Outs);
                             dummyCallCmd.Proc = dummyAsyncTargetProc;
                             newCmds.Add(dummyCallCmd);
                         }
-- 
cgit v1.2.3