added missing ABC_NAMESPACE_HEADER

5318619c · Heinz Riener · a20002da · 5318619c
Commit 5318619c authored Mar 03, 2017 by Heinz Riener
Show whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/base/main/abcapis.h
+4 -0

No files found.
--- a/src/base/main/abcapis.h
+++ b/src/base/main/abcapis.h
@@ -33,6 +33,9 @@
 ///                         BASIC TYPES                              ///
 ////////////////////////////////////////////////////////////////////////

+ABC_NAMESPACE_HEADER_START
+
+struct Abc_Frame_t_;
 typedef struct Abc_Frame_t_      Abc_Frame_t;

 ////////////////////////////////////////////////////////////////////////
@@ -93,6 +96,7 @@ extern ABC_DLL void   Abc_NtkPrintMiniMapping( int * pArray );
 extern ABC_DLL int    Abc_FrameReadProbStatus( Abc_Frame_t * pAbc );   
 extern ABC_DLL void * Abc_FrameReadCex( Abc_Frame_t * pAbc );    

+ABC_NAMESPACE_HEADER_END

 #endif