Experiments with simulation.

This commit is contained in:
Alan Mishchenko 2014-03-14 21:53:45 -07:00
parent cb65ccd28b
commit 3f7cfde14b
1 changed files with 1 additions and 1 deletions

View File

@ -213,7 +213,7 @@ void * Gia_ParWorkerThread( void * pArg )
unsigned Counter = 0;
while ( 1 )
{
while ( pThData->Status == 0 )
while ( pThData->Status == 0 );
printf( "" );
assert( pThData->Status == 1 );
if ( pThData->Id == -1 )