00001 00024 #ifndef GALOIS_WORKLIST_WLCOMPILECHECK_H 00025 #define GALOIS_WORKLIST_WLCOMPILECHECK_H 00026 00027 #ifndef GALOIS_WLCOMPILECHECK 00028 #define GALOIS_WLCOMPILECHECK(name) // 00029 #endif 00030 00031 #endif
1.6.1