diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:21:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-12 13:21:59 -0700 |
| commit | 634dd6d030f5f54cfd0032be83ab10ec064530f1 (patch) | |
| tree | 3467913e2a97965e586a75a09386e4b8900da71d /src/bool | |
| parent | b0bd2025c6c5ead303f536424bdde69cf169afff (diff) | |
| download | abc-634dd6d030f5f54cfd0032be83ab10ec064530f1.tar.gz abc-634dd6d030f5f54cfd0032be83ab10ec064530f1.tar.bz2 abc-634dd6d030f5f54cfd0032be83ab10ec064530f1.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/rpo/rpo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/rpo/rpo.c b/src/bool/rpo/rpo.c index 5311e107..cf24fbe1 100644 --- a/src/bool/rpo/rpo.c +++ b/src/bool/rpo/rpo.c @@ -347,7 +347,7 @@ Literal_t* Rpo_Recursion(unsigned* target, Literal_t** vecLit, int nLit, int nLi maxLitIndex = (edge->idx1 > edge->idx2) ? edge->idx1 : edge->idx2; oldLit1 = vecLit[minLitIndex]; oldLit2 = vecLit[maxLitIndex]; - newLit = Lit_GroupLiterals(oldLit1, oldLit2, edge->connectionType, nVars); + newLit = Lit_GroupLiterals(oldLit1, oldLit2, (Operator_t)edge->connectionType, nVars); vecLit[minLitIndex] = newLit; vecLit[maxLitIndex] = NULL; |