diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-04-28 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-04-28 08:01:00 -0700 |
| commit | feb8fb692e09a2fc7c1da4f2fcf605d398e940f2 (patch) | |
| tree | 9a1cc7b8e64719e109bbdb99b1e8d49dcb34715c /src/base/io/ioWriteAiger.c | |
| parent | c09d4d499cee70f02e3e9a18226554b8d1d34488 (diff) | |
| download | abc-feb8fb692e09a2fc7c1da4f2fcf605d398e940f2.tar.gz abc-feb8fb692e09a2fc7c1da4f2fcf605d398e940f2.tar.bz2 abc-feb8fb692e09a2fc7c1da4f2fcf605d398e940f2.zip | |
Version abc70428
Diffstat (limited to 'src/base/io/ioWriteAiger.c')
| -rw-r--r-- | src/base/io/ioWriteAiger.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index a1ff4456..7c9da184 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -129,7 +129,7 @@ static unsigned Io_ObjMakeLit( int Var, int fCompl ) { return (V static unsigned Io_ObjAigerNum( Abc_Obj_t * pObj ) { return (unsigned)pObj->pCopy; } static void Io_ObjSetAigerNum( Abc_Obj_t * pObj, unsigned Num ) { pObj->pCopy = (void *)Num; } -static int Io_WriteAigerEncode( char * pBuffer, int Pos, unsigned x ); +int Io_WriteAigerEncode( char * pBuffer, int Pos, unsigned x ); //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |