diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2022-01-21 22:51:36 +0200 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2022-01-22 18:34:43 +0200 |
| commit | 554a1693ac2bd81169b28227ea718527136f5e7e (patch) | |
| tree | 5c359e8506c2ba9ddcd49abdbb494377aca609b1 /src/sat/msat/msatClause.c | |
| parent | 5b8fa41ba966271f97f99860b21eee83bf51e61a (diff) | |
| download | abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.gz abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.bz2 abc-554a1693ac2bd81169b28227ea718527136f5e7e.zip | |
Move CI to GitHub Actions.
Also, a few minor changes that are required to compile ABC under moder compilers.
Diffstat (limited to 'src/sat/msat/msatClause.c')
| -rw-r--r-- | src/sat/msat/msatClause.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/msat/msatClause.c b/src/sat/msat/msatClause.c index 6b1b9e98..3d1fa2fc 100644 --- a/src/sat/msat/msatClause.c +++ b/src/sat/msat/msatClause.c @@ -522,7 +522,7 @@ void Msat_ClausePrintSymbols( Msat_Clause_t * pC ) // if ( pC->fLearned ) // printf( "Act = %.4f ", Msat_ClauseReadActivity(pC) ); for ( i = 0; i < (int)pC->nSize; i++ ) - printf(" "L_LIT, L_lit(pC->pData[i])); + printf(" " L_LIT, L_lit(pC->pData[i])); } printf( "\n" ); } |