diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
commit | c0ef1f469a3204adbd26edec0b9d3af56532d794 (patch) | |
tree | f9c957991a7fa2a50198ce0b97a215f2ada97f1b /src/opt/fxu | |
parent | 9e073ed8506c086d6e827f5588d1ee56c57703da (diff) | |
download | abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.gz abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.bz2 abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.zip |
Version abc60118
Diffstat (limited to 'src/opt/fxu')
-rw-r--r-- | src/opt/fxu/fxu.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fxu/fxu.c b/src/opt/fxu/fxu.c index 9da34fde..169fb218 100644 --- a/src/opt/fxu/fxu.c +++ b/src/opt/fxu/fxu.c @@ -159,7 +159,7 @@ int Fxu_FastExtract( Fxu_Data_t * pData ) if ( pData->nNodesNew ) Fxu_CreateCovers( p, pData ); Fxu_MatrixDelete( p ); -// printf( "Memory usage after delocation: Total = %d. Peak = %d.\n", s_MemoryTotal, s_MemoryPeak ); +// printf( "Memory usage after deallocation: Total = %d. Peak = %d.\n", s_MemoryTotal, s_MemoryPeak ); if ( pData->nNodesNew == pData->nNodesExt ) printf( "Warning: The limit on the number of extracted divisors has been reached.\n" ); return pData->nNodesNew; |