common: rename "CONFIG" to "COMMON"

[model-checker.git] / common.h

diff --git a/common.h b/common.h
index 79f42ebd44e99a05817e751b904bab3d101aae67..19409c82edd0ef6039d21a0f9c94877765ba8575 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,4 @@
 #define DBG()
 #endif
 
-#endif /* __CONFIG_H__ */
+#endif /* __COMMON_H__ */