Fix yield bug part 2

[satcheck.git] / config.h

diff --git a/config.h b/config.h
index 6ec9b804c392b84bd39eed419b9feb7abbc82fc8..a172d1b78336ec6af7b4b0eec68d7f67cc550ceb 100644 (file)
--- a/config.h
+++ b/config.h
@@ -29,16 +29,6 @@
  *  printed summary.*/
 //#define SUPPORT_MOD_ORDER_DUMP 1
 
-/** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
- * Set to 1 for 48-bit, 0 for 32-bit. */
-#ifndef BIT48
-#ifdef _LP64
-#define BIT48 1
-#else
-#define BIT48 0
-#endif
-#endif/* BIT48 */
-
 /** Snapshotting configurables */
 
 /**
@@ -58,6 +48,9 @@
 /* Size of stack to allocate for a thread. */
 #define STACK_SIZE (1024 * 1024)
 
+/** Dump schedule extracted from SAT Solution */
+//#define DUMP_SAT_SCHEDULE
+
 /** Enable debugging assertions (via ASSERT()) */
 //#define CONFIG_ASSERT