diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-01 08:01:00 -0700 |
| commit | b2470dd3da962026fd874e13c2cf78c10099fe68 (patch) | |
| tree | 1f05e75c3017afc746283ecdcef83808fec75d2a /src/aig/fra/fraPart.c | |
| parent | 9f5ef0d6184ef9c73591250ef00b18edfd99885b (diff) | |
| download | abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.gz abc-b2470dd3da962026fd874e13c2cf78c10099fe68.tar.bz2 abc-b2470dd3da962026fd874e13c2cf78c10099fe68.zip | |
Version abc70901
Diffstat (limited to 'src/aig/fra/fraPart.c')
| -rw-r--r-- | src/aig/fra/fraPart.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/fra/fraPart.c b/src/aig/fra/fraPart.c index 6e593694..23b6dd1d 100644 --- a/src/aig/fra/fraPart.c +++ b/src/aig/fra/fraPart.c @@ -58,7 +58,7 @@ void Fra_ManPartitionTest( Aig_Man_t * p, int nComLim ) // compute supports clk = clock(); - vSupps = Aig_ManSupports( p ); + vSupps = (Vec_Vec_t *)Aig_ManSupports( p ); PRT( "Supports", clock() - clk ); // remove last entry Aig_ManForEachPo( p, pObj, i ) @@ -192,7 +192,7 @@ void Fra_ManPartitionTest2( Aig_Man_t * p ) // compute supports clk = clock(); - vSupps = Aig_ManSupports( p ); + vSupps = (Vec_Vec_t *)Aig_ManSupports( p ); PRT( "Supports", clock() - clk ); // remove last entry Aig_ManForEachPo( p, pObj, i ) |