changes

[model-checker-benchmarks.git] / chase-lev-deque-bugfix / testcase5.c

diff --git a/chase-lev-deque-bugfix/testcase5.c b/chase-lev-deque-bugfix/testcase5.c
index 0bbc6db02066a72426aa9d7294401b41bef36728..25716bcd7e8168e2b35a954e72d09bee95931c1b 100644 (file)
--- a/chase-lev-deque-bugfix/testcase5.c
+++ b/chase-lev-deque-bugfix/testcase5.c
@@ -13,7 +13,7 @@ int a;
 int b;
 int c;
 
-/** Making w14 release */
+/** Making w14 & w15 release */
 
 static void task1(void * param) {
        b=steal(q);