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/giaReshape1.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/giaReshape1.c')
| -rw-r--r-- | src/aig/gia/giaReshape1.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaReshape1.c b/src/aig/gia/giaReshape1.c index cf2c0dbd..52b40bdc 100644 --- a/src/aig/gia/giaReshape1.c +++ b/src/aig/gia/giaReshape1.c @@ -42,7 +42,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) +Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fUseSimple, int fVerbose, int fVeryVerbose ) { return NULL; } |