From 1faf42e2e17178eccbb0c26987d1b09599a8797c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 21 Dec 2013 13:36:41 -0800 Subject: [PATCH] chore(kernel/expr): remove unnecessary #if-#then-#else Signed-off-by: Leonardo de Moura --- src/kernel/expr.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/kernel/expr.h b/src/kernel/expr.h index f2e3601a2..e725a5774 100644 --- a/src/kernel/expr.h +++ b/src/kernel/expr.h @@ -68,11 +68,7 @@ typedef list local_context; class expr_cell { protected: unsigned short m_kind; -#ifdef LEAN_THREAD_UNSAFE - unsigned short m_flags; -#else atomic_ushort m_flags; -#endif unsigned m_hash; // hash based on the structure of the expression (this is a good hash for structural equality) unsigned m_hash_alloc; // hash based on 'time' of allocation (this is a good hash for pointer-based equality) MK_LEAN_RC(); // Declare m_rc counter