Makefile: fix config.h dependencies

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 294b6b919ad224b8c6633491555db1d6c132c002..f0d3dc619489d780ea7e9be237b2007d428a4b33 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -14,7 +14,7 @@ void initRaceDetector() {
  * given address.*/
 static uint64_t * lookupAddressEntry(void * address) {
        struct ShadowTable *currtable=root;
-#ifdef BIT48
+#if BIT48
        currtable=(struct ShadowTable *) currtable->array[(((uintptr_t)address)>>32)&MASK16BIT];
        if (currtable==NULL) {
                currtable=(struct ShadowTable *) (root->array[(((uintptr_t)address)>>32)&MASK16BIT]=calloc(sizeof(struct ShadowTable),1));