diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:50:10 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:50:10 -0700 |
commit | cc13d1fb472957d7798165774c6df386433a3d2b (patch) | |
tree | 31c23d7c157278f63cb8cf267e1daa4120b911b9 /src/aig/gia/giaReshape2.c | |
parent | 627c7d33fdf217f60b7795b418c29f7f0e455fb4 (diff) | |
download | abc-cc13d1fb472957d7798165774c6df386433a3d2b.tar.gz abc-cc13d1fb472957d7798165774c6df386433a3d2b.tar.bz2 abc-cc13d1fb472957d7798165774c6df386433a3d2b.zip |
Adding command &reshape.
Diffstat (limited to 'src/aig/gia/giaReshape2.c')
-rw-r--r-- | src/aig/gia/giaReshape2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaReshape2.c b/src/aig/gia/giaReshape2.c index 440c33a0..98a4d855 100644 --- a/src/aig/gia/giaReshape2.c +++ b/src/aig/gia/giaReshape2.c @@ -41,7 +41,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) +Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fUseSimple, int fVerbose, int fVeryVerbose ) { return NULL; } |