From d5b0fdee741dbc64bcfe75c54420219a7cbeac1a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 May 2009 08:01:00 -0700 Subject: Version abc90505 --- src/aig/saig/saig.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saig.h') diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index c7109e26..85d2d191 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -115,7 +115,7 @@ extern Aig_Man_t * Saig_ManCreateMiterTwo( Aig_Man_t * pOld, Aig_Man_t * p extern int Saig_ManDemiterSimple( Aig_Man_t * p, Aig_Man_t ** ppAig0, Aig_Man_t ** ppAig1 ); extern int Saig_ManDemiterSimpleDiff( Aig_Man_t * p, Aig_Man_t ** ppAig0, Aig_Man_t ** ppAig1 ); /*=== saigPhase.c ==========================================================*/ -extern Aig_Man_t * Saig_ManPhaseAbstract( Aig_Man_t * p, Vec_Int_t * vInits, int nFrames, int fIgnore, int fPrint, int fVerbose ); +extern Aig_Man_t * Saig_ManPhaseAbstract( Aig_Man_t * p, Vec_Int_t * vInits, int nFrames, int nPref, int fIgnore, int fPrint, int fVerbose ); /*=== saigRetFwd.c ==========================================================*/ extern void Saig_ManMarkAutonomous( Aig_Man_t * p ); extern Aig_Man_t * Saig_ManRetimeForward( Aig_Man_t * p, int nMaxIters, int fVerbose ); -- cgit v1.2.3