From cc13d1fb472957d7798165774c6df386433a3d2b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 21 Sep 2021 10:50:10 -0700 Subject: Adding command &reshape. --- src/aig/gia/giaReshape1.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/giaReshape1.c') 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; } -- cgit v1.2.3