1 files changed, 2 insertions, 2 deletions
diff --git a/Test/og/multiset.bpl b/Test/og/multiset.bpl
index 9da8c125..d757362b 100644
--- a/Test/og/multiset.bpl
+++ b/Test/og/multiset.bpl
@@ -185,7 +185,7 @@ ensures {:atomic 2}  |{ var r:int;
 	{
 		result := false;
                 tidOut := tidTmp;
-                par YieldInv();
+                par Yield12();
 		return;
 	}
         par Yield1();
@@ -198,7 +198,7 @@ ensures {:atomic 2}  |{ var r:int;
 	call tidTmp := release(i, tidTmp);
 	result := true; 
         tidOut := tidTmp;
-        par YieldInv();
+        par Yield12();
 	return;
 }