Compiler warning.

berkeley-abc · Aug 2, 2024 · 1ac5f64 · 1ac5f64
1 parent 8f0cbbd
commit 1ac5f64
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
@@ -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 )
         {