diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
| commit | 7b734f23fc23694ccffdb7e3cd31335ffe6cb272 (patch) | |
| tree | d6df566bac26ffb6af1eb01d215d6c4f9785dfa9 /src/aig/ntl/ntlExtract.c | |
| parent | 17ab7c7135befeb4e1d33385496959a16bd55054 (diff) | |
| download | abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.gz abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.bz2 abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.zip | |
Version abc80705
Diffstat (limited to 'src/aig/ntl/ntlExtract.c')
| -rw-r--r-- | src/aig/ntl/ntlExtract.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlExtract.c b/src/aig/ntl/ntlExtract.c index f6f1ebb2..f4d33cf1 100644 --- a/src/aig/ntl/ntlExtract.c +++ b/src/aig/ntl/ntlExtract.c @@ -649,9 +649,9 @@ Aig_Man_t * Ntl_ManCollapseSeq( Ntl_Man_t * p, int nMinDomSize ) if ( pAig->vClockDoms ) { if ( Vec_VecSize(pAig->vClockDoms) == 0 ) - printf( "Clock domains are small. Seq synthesis is not performed.\n" ); + printf( "Register classes are small. Seq synthesis is not performed.\n" ); else - printf( "Performing seq synthesis for %d clock domains.\n", Vec_VecSize(pAig->vClockDoms) ); + printf( "Performing seq synthesis for %d register classes.\n", Vec_VecSize(pAig->vClockDoms) ); printf( "\n" ); } return pAig; |