Commits

Shlomi Fish committed fe29175

Removed an item from the TODO :

* Make DEBUG_STATES and COMPACT_STATES functional again.
- extract some common macros in all places.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1559 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

Comments (0)

Files changed (1)

fc-solve/source/TODO

 
 --- Non-pressing ---
 
-* Make DEBUG_STATES and COMPACT_STATES functional again.
-    - extract some common macros in all places.
-
 * Create a first-class-citizen fcs_state_column_t and convert fcs_stack_len(),
 fcs_stack_card(), etc. to use them.