luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warning.

This commit is contained in:
Alan Mishchenko 2024-08-01 19:23:38 -07:00
parent 8f0cbbdf38
commit 1ac5f6467b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/ssw/sswPart.c
View File

@ -117,7 +117,7 @@ void * Ssw_GiaWorkerThread( void * pArg )
Par_ScorrThData_t * pThData = (Par_ScorrThData_t *)pArg;
while ( 1 )
{
while ( !atomic_load_explicit((volatile int *)&pThData->fWorking, memory_order_acquire) )
while ( !atomic_load_explicit((atomic_bool *)&pThData->fWorking, memory_order_acquire) )
nanosleep(&pause_duration, NULL);
if ( pThData->p == NULL )
{