X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=005e65842e7353f9ca0dc50846eddf9bf054a111;hb=10df540dad6ba429731920c5e36638a3ac557eab;hp=4cc68479e347e5e50573b074ef625e1d013b73f5;hpb=ef6f315a9ca3e965cf6bef3142ddd3f33ffa3e95;p=model-checker.git

diff --git a/action.h b/action.h
index 4cc6847..005e658 100644
--- a/action.h
+++ b/action.h
@@ -46,7 +46,8 @@ public:
 	inline bool operator >(const ModelAction& act) const {
 		return get_seq_number() > act.get_seq_number();
 	}
-  MEMALLOC
+
+	MEMALLOC
 private:
 	action_type type;
 	memory_order order;