X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=include%2Fwildcard.h;h=0eaffd5eafc66753546035d59c628df44db40d6f;hp=6bcd6acd349795839af21bea4212b1ba973a6294;hb=25d73096cfc14c655f94b01bb235cc5efd1d5696;hpb=54210d33af73ae7c74f2d416ab0e7bd472379e12

diff --git a/include/wildcard.h b/include/wildcard.h
index 6bcd6acd..0eaffd5e 100644
--- 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