1 files changed, 1 insertions, 1 deletions
diff --git a/Test/og/foo.bpl b/Test/og/foo.bpl
index 5ddc75c0..eae47e12 100644
--- a/Test/og/foo.bpl
+++ b/Test/og/foo.bpl
@@ -46,7 +46,6 @@ procedure {:yields} {:phase 1} Main()
   yield;
   while (*)
   {
-    yield;
     async call PB();
     yield;
     async call PE();
@@ -54,4 +53,5 @@ procedure {:yields} {:phase 1} Main()
     async call PD();
     yield;
   }
+  yield;
 }