diff options
| -rw-r--r-- | src/sat/glucose/Glucose.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/glucose/Glucose.cpp b/src/sat/glucose/Glucose.cpp index 479f08f9..8d520474 100644 --- a/src/sat/glucose/Glucose.cpp +++ b/src/sat/glucose/Glucose.cpp @@ -226,7 +226,7 @@ bool Solver::addClause_(vec<Lit>& ps) if ( 0 ) { for ( int i = 0; i < ps.size(); i++ ) - printf( "%d ", ps[i] ); + printf( "%d ", toInt(ps[i]) ); printf( "\n" ); } |