Fixing C++ compilation issues.

1b6662ce · Alan Mishchenko · 562b6126 · 1b6662ce
Commit 1b6662ce authored Jan 08, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/base/io/ioWriteAiger.c
+3 -0

No files found.
--- a/src/base/io/ioWriteAiger.c
+++ b/src/base/io/ioWriteAiger.c
@@ -783,10 +783,13 @@ void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int f
    ABC_FREE(b.buf);
 }

+ABC_NAMESPACE_IMPL_END

 #include "aig/gia/giaAig.h"
 #include "aig/saig/saig.h"

+ABC_NAMESPACE_IMPL_START
+
 /**Function*************************************************************

  Synopsis    [Writes the AIG in the binary AIGER format.]