diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 21:53:45 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 21:53:45 -0700 |
commit | 3f7cfde14b86843fe10c1412a82d5ffffcfc0bb8 (patch) | |
tree | e874477fed8fd088c11b401cb7a2b92f0e02035c /src/map | |
parent | cb65ccd28bac56a65ed390d9d30ebddaf2402bee (diff) | |
download | abc-3f7cfde14b86843fe10c1412a82d5ffffcfc0bb8.tar.gz abc-3f7cfde14b86843fe10c1412a82d5ffffcfc0bb8.tar.bz2 abc-3f7cfde14b86843fe10c1412a82d5ffffcfc0bb8.zip |
Experiments with simulation.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifTest.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c index f8ac8423..84710ff5 100644 --- a/src/map/if/ifTest.c +++ b/src/map/if/ifTest.c @@ -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 ) |