From 1b6662ce4a45dcbd50539877e4bd039bff65dcd5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 8 Jan 2013 14:16:59 +0800
Subject: Fixing C++ compilation issues.

---
 src/base/io/ioWriteAiger.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c
index 20150839..1f22b138 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.]
-- 
cgit v1.2.3