X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=inline;f=chase-lev-deque-bugfix%2Finteresting.txt;fp=chase-lev-deque-bugfix%2Finteresting.txt;h=ae423ba7439d1d6b6a69e1fb2840c192a6b268d3;hb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;hp=1e221a9c5b2c5e89e624afcbb17145d8f5fbfa89;hpb=cd0af72755f006449a7a3dbbdcf7416054e83b0f;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/interesting.txt b/chase-lev-deque-bugfix/interesting.txt
index 1e221a9..ae423ba 100644
--- a/chase-lev-deque-bugfix/interesting.txt
+++ b/chase-lev-deque-bugfix/interesting.txt
@@ -10,7 +10,7 @@ wildcard 8 -> memory_order_seq_cst
 wildcard 9 -> memory_order_acquire
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_acquire
+wildcard 12 -> memory_order_seq_cst
 wildcard 14 -> memory_order_relaxed
 wildcard 15 -> memory_order_relaxed
 wildcard 16 -> memory_order_relaxed