summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIiff.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-09-20 19:27:46 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2017-09-20 19:27:46 -0700
commit287f9efcceb540fb09f5d81250699a9277967ec5 (patch)
tree4a25d1867783a12fcbc1db2769f27f9337dd7f55 /src/aig/gia/giaIiff.c
parent1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e (diff)
downloadabc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.gz
abc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.bz2
abc-287f9efcceb540fb09f5d81250699a9277967ec5.zip
Maintenance and updates.
Diffstat (limited to 'src/aig/gia/giaIiff.c')
-rw-r--r--src/aig/gia/giaIiff.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaIiff.c b/src/aig/gia/giaIiff.c
index d19e93e3..6be38b94 100644
--- a/src/aig/gia/giaIiff.c
+++ b/src/aig/gia/giaIiff.c
@@ -42,8 +42,9 @@ ABC_NAMESPACE_IMPL_START
SeeAlso []
***********************************************************************/
-void Gia_ManIiffTest( Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fVerbose )
+Gia_Man_t * Gia_ManIiffTest( char * pFileName, Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fVerbose )
{
+ return NULL;
}
////////////////////////////////////////////////////////////////////////