More code towards support non-atomic stores

[c11tester.git] / include / wildcard.h

diff --git a/include/wildcard.h b/include/wildcard.h
index 6bcd6acd349795839af21bea4212b1ba973a6294..0eaffd5eafc66753546035d59c628df44db40d6f 100644 (file)
--- a/include/wildcard.h
+++ b/include/wildcard.h
@@ -21,11 +21,11 @@
 #define is_normal_mo(x) ((x >= memory_order_relaxed && x <= memory_order_seq_cst) || x == memory_order_normal)
 
 #define assert_infer(x) for (int i = 0;i <= wildcardNum;i++) \
-       ASSERT(is_normal_mo_infer((x[i])));
+               ASSERT(is_normal_mo_infer((x[i])));
 
 #define assert_infers(x) for (ModelList<memory_order *>::iterator iter = \
                                                                                                                                (x)->begin();iter != (x)->end();iter++) \
-       assert_infer((*iter));
+               assert_infer((*iter));
 
 #define relaxed memory_order_relaxed
 #define release memory_order_release