Using newer ipasir header

msoos · Aug 3, 2023 · 8146478 · 8146478
1 parent 26d4d4d
commit 8146478
Showing 1 changed file with 12 additions and 0 deletions.
diff --git 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