X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=config.h;h=b05bd54fb2771fb9bd8dca7828cf21136bcf04df;hb=f28f1ff6a31068dedf27ac26fbb8d988cc7db2a3;hp=6ec9b804c392b84bd39eed419b9feb7abbc82fc8;hpb=d2cccdb33e7fb829b1c7541d79702665ca801424;p=satcheck.git

diff --git a/config.h b/config.h
index 6ec9b80..b05bd54 100644
--- 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 */
 
 /**