X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Ftestcase2.c;h=f3b22abefbf119c8403bb71d95c703aa1929d29f;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=fe77b178342953450f089ad6536b9d7595d21231;hpb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/testcase2.c b/chase-lev-deque-bugfix/testcase2.c
index fe77b17..f3b22ab 100644
--- a/chase-lev-deque-bugfix/testcase2.c
+++ b/chase-lev-deque-bugfix/testcase2.c
@@ -14,7 +14,7 @@ int b;
 int c;
 
 /**
-	Making w39 seq_cst; the two steals and the take have the following:
+	Making the two fences (w8 & w34) seq_cst; the two steals and the take have the following:
 	t.CAS() (in steal1)          b.store (in take)
 	fence() (in steal2)	         fence() (in take)
 	b.load() (in steal2)         t.load() (in take)