diff options
Diffstat (limited to 'src/sat/bsat/satClause.h')
| -rw-r--r-- | src/sat/bsat/satClause.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satClause.h b/src/sat/bsat/satClause.h index 3a6afa20..d2ed3b75 100644 --- a/src/sat/bsat/satClause.h +++ b/src/sat/bsat/satClause.h @@ -146,7 +146,7 @@ static inline void clause_set_id( clause * c, int id ) { c->lits[c- static inline int clause_size( clause * c ) { return c->size; } static inline lit * clause_begin( clause * c ) { return c->lits; } static inline lit * clause_end( clause * c ) { return c->lits + c->size; } -static inline void clause_print( clause * c ) +static inline void clause_print_( clause * c ) { int i; printf( "{ " ); |