michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(kernel/expr): remove unnecessary #if-#then-#else

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-21 13:36:41 -08:00
parent 55d46b2f88
commit 1faf42e2e1
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/kernel/expr.h
View file

@ -68,11 +68,7 @@ typedef list<local_entry> 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