diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:49:47 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:49:47 -0800 |
| commit | c3dfec7467ee4d0dab6e031a92e046729f2cff00 (patch) | |
| tree | 1f01b853c9d53d35a0c25a7c918a62d3557df72e /src/sat/xsat/xsatSolver.c | |
| parent | 88e887d1a08649cec01d508c4c24c08911a29eea (diff) | |
| download | abc-c3dfec7467ee4d0dab6e031a92e046729f2cff00.tar.gz abc-c3dfec7467ee4d0dab6e031a92e046729f2cff00.tar.bz2 abc-c3dfec7467ee4d0dab6e031a92e046729f2cff00.zip | |
Fixing windows compilation problem.
Diffstat (limited to 'src/sat/xsat/xsatSolver.c')
| -rw-r--r-- | src/sat/xsat/xsatSolver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/xsat/xsatSolver.c b/src/sat/xsat/xsatSolver.c index 467f5f8d..9a98eec0 100644 --- a/src/sat/xsat/xsatSolver.c +++ b/src/sat/xsat/xsatSolver.c @@ -334,7 +334,7 @@ int xSAT_SolverEnqueue( xSAT_Solver_t * s, int Lit, unsigned Reason ) { int Var = xSAT_Lit2Var( Lit ); - Vec_StrWriteEntry( s->vAssigns, Var, xSAT_LitSign( Lit ) ); + Vec_StrWriteEntry( s->vAssigns, Var, (char)xSAT_LitSign( Lit ) ); Vec_IntWriteEntry( s->vLevels, Var, xSAT_SolverDecisionLevel( s ) ); Vec_IntWriteEntry( s->vReasons, Var, ( int ) Reason ); Vec_IntPush( s->vTrail, Lit ); |