diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
| commit | 64dc240b904adafee78e2a66a1fc31b717f8985f (patch) | |
| tree | 3632887450b37c4dcac6f6cbac08d42e9512c440 /src/aig/dar/darMan.c | |
| parent | 1647addf5e3ce4f82cc35cd4983bc5f7b9730290 (diff) | |
| download | abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.gz abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.bz2 abc-64dc240b904adafee78e2a66a1fc31b717f8985f.zip | |
Version abc70723
Diffstat (limited to 'src/aig/dar/darMan.c')
| -rw-r--r-- | src/aig/dar/darMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darMan.c b/src/aig/dar/darMan.c index 8b7c5afb..ef898ea2 100644 --- a/src/aig/dar/darMan.c +++ b/src/aig/dar/darMan.c @@ -39,7 +39,7 @@ SeeAlso [] ***********************************************************************/ -Dar_Man_t * Dar_ManStart( Aig_Man_t * pAig, Dar_Par_t * pPars ) +Dar_Man_t * Dar_ManStart( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) { Dar_Man_t * p; // start the manager |