Commit 7f700af6 by Alan Mishchenko

C++ compiler errors.

parent cd4043ba
......@@ -490,7 +490,7 @@ Gia_Man_t * Gia_SweeperCleanup( Gia_Man_t * p, char * pCommLime )
sat_solver_addclause( pSwp->pSat, &iLit, &iLit + 1 );
pSwp->timeStart = clock();
// return the result
pNew = p->pData; p->pData = NULL;
pNew->pData = p->pData; p->pData = NULL;
Gia_ManStop( p );
return pNew;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment