diff --git a/H/YapHeap.h b/H/YapHeap.h index 9afeeb99b..05cb2ded1 100644 --- a/H/YapHeap.h +++ b/H/YapHeap.h @@ -18,6 +18,10 @@ #ifndef HEAP_H #define HEAP_H 1 +#if LOW_PROF +#include +#endif + #if defined(THREADS) #define RINFO rinfo[worker_id] #else