X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=chase-lev-deque-bugfix%2Ftestcase5.c;fp=chase-lev-deque-bugfix%2Ftestcase5.c;h=25716bcd7e8168e2b35a954e72d09bee95931c1b;hb=beb67e73a3fd2a98d1f73b9b13dad5b19870864c;hp=0bbc6db02066a72426aa9d7294401b41bef36728;hpb=18571e7d16969a2cbed2eb0b6e60dd83af1ee29a;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/testcase5.c b/chase-lev-deque-bugfix/testcase5.c
index 0bbc6db..25716bc 100644
--- 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);