X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Ftestcase2.c;fp=chase-lev-deque-bugfix%2Ftestcase2.c;h=f3b22abefbf119c8403bb71d95c703aa1929d29f;hb=21fb4500f1589722d7f2228b02e049653c118aea;hp=fe77b178342953450f089ad6536b9d7595d21231;hpb=daa4a42fe811c9f8c81f55b7f995356a1c8b15a6;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)