Commits

Shlomi Fish committed e865c62

Remove a code to short-circuit for testing.

Comments (0)

Files changed (1)

fc-solve/source/delta_states.h

 #define FCS_EXPLICIT_REFCOUNT 1
 #endif
 
-/*  TODO : MUST REMOVE LATER. */
-#ifndef FCS_EXPLICIT_REFCOUNT
-#define FCS_EXPLICIT_REFCOUNT 1
-#endif
-
 #ifdef FCS_DBM_RECORD_POINTER_REPR
 
 typedef struct