diff --git a/src/ipasir.h b/src/ipasir.h index 18e5213cd..30cd490cb 100644 --- a/src/ipasir.h +++ b/src/ipasir.h @@ -28,6 +28,12 @@ IN THE SOFTWARE. #ifndef ipasir_h_INCLUDED #define ipasir_h_INCLUDED +/*------------------------------------------------------------------------*/ +#ifdef __cplusplus +extern "C" { +#endif +/*------------------------------------------------------------------------*/ + /** * Return the name and the version of the incremental SAT * solving library. @@ -149,4 +155,10 @@ void ipasir_set_terminate (void * solver, void * state, int (*terminate)(void * */ void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause)); +/*------------------------------------------------------------------------*/ +#ifdef __cplusplus +} +#endif +/*------------------------------------------------------------------------*/ + #endif