1 files changed, 3 insertions, 2 deletions
diff --git a/Test/og/async.bpl b/Test/og/async.bpl
index 15f89bae..32f609bc 100644
--- a/Test/og/async.bpl
+++ b/Test/og/async.bpl
@@ -1,7 +1,8 @@
 var x: int;
 var y: int;
 
-procedure {:entrypoint} foo() 
+procedure {:entrypoint} {:yields} foo()
+modifies x, y; 
 {
   assume x == y;
   x := x + 1;
@@ -9,7 +10,7 @@ procedure {:entrypoint} foo()
   y := y + 1;
 }
 
-procedure P()
+procedure {:yields} {:stable} P()
 requires x != y;
 {
   assert x != y;