diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c
index 201508396..1f22b1388 100644
--- 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.]