threads: don't make direct call into scheduler

[model-checker.git] / common.h

diff --git a/common.h b/common.h
index 79f42ebd44e99a05817e751b904bab3d101aae67..1570a32969a72902cd3ba5569f2413f6b709a062 100644 (file)
--- a/common.h
+++ b/common.h
@@ -1,5 +1,5 @@
-#ifndef __CONFIG_H__
-#define __CONFIG_H__
+#ifndef __COMMON_H__
+#define __COMMON_H__
 
 #include <stdio.h>
 
@@ -13,4 +13,7 @@
 #define DBG()
 #endif
 
-#endif /* __CONFIG_H__ */
+void * myMalloc(size_t size);
+void myFree(void *ptr);
+
+#endif /* __COMMON_H__ */