diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 20:44:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 20:44:28 -0700 |
| commit | 7f700af6e2fff06e2cf855b4a3845eadcf66086b (patch) | |
| tree | b27fddcefd505808ee184851e9a59a38ba9b3ef9 /src/aig/gia/giaSweeper.c | |
| parent | cd4043ba7f00e4ace831d89ebae9790611e5fa80 (diff) | |
| download | abc-7f700af6e2fff06e2cf855b4a3845eadcf66086b.tar.gz abc-7f700af6e2fff06e2cf855b4a3845eadcf66086b.tar.bz2 abc-7f700af6e2fff06e2cf855b4a3845eadcf66086b.zip | |
C++ compiler errors.
Diffstat (limited to 'src/aig/gia/giaSweeper.c')
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index 3f597982..91b4c17b 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -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; } |