From 28d4e2ad2598ff377f121ff2a2a9b0794f386110 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sun, 4 May 2014 21:17:12 -0700
Subject: second checkpoint

---
 Test/og/lock.bpl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/og/lock.bpl')

diff --git a/Test/og/lock.bpl b/Test/og/lock.bpl
index 4a6e002d..8357d36d 100644
--- a/Test/og/lock.bpl
+++ b/Test/og/lock.bpl
@@ -2,6 +2,7 @@ var {:phase 2} b: bool;
 
 procedure {:yields} {:phase 2} main()
 {
+    yield;
     while (*)
     {
         yield;
@@ -14,6 +15,7 @@ procedure {:yields} {:phase 2} main()
 
 procedure {:yields} {:phase 2} Customer()
 {
+    yield;
     while (*) 
     {
     	yield;
@@ -26,8 +28,6 @@ procedure {:yields} {:phase 2} Customer()
 
         yield;
     }
-
-    yield;
 }
 
 procedure {:yields} {:phase 1,2} Enter() 
-- 
cgit v1.2.3