The DATARACE_H macro is never defined, so it never succeeds as a
multiple-inclusion guard.
* @brief Data race detection code.
*/
* @brief Data race detection code.
*/
+#ifndef __DATARACE_H__
+#define __DATARACE_H__
+
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
+
+#endif /* __DATARACE_H__ */