diff options
Diffstat (limited to 'src/opt/cut/cutList.h')
-rw-r--r-- | src/opt/cut/cutList.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/opt/cut/cutList.h b/src/opt/cut/cutList.h index a03ec9d5..0f0ccedf 100644 --- a/src/opt/cut/cutList.h +++ b/src/opt/cut/cutList.h @@ -21,6 +21,10 @@ #ifndef __CUT_LIST_H__ #define __CUT_LIST_H__ + +ABC_NAMESPACE_HEADER_START + + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -199,6 +203,10 @@ static inline Cut_Cut_t * Cut_ListFinish( Cut_List_t * p ) return pHead; } + + +ABC_NAMESPACE_HEADER_END + #endif //////////////////////////////////////////////////////////////////////// |