Merge pull request #9 from AeneasVerif/protz_extern_c

make the eurydice glue header includable from C++
AeneasVerif · Apr 23, 2024 · 119051b · 119051b
2 parents f2fd840 + 48910e1
commit 119051b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/include/eurydice_glue.h b/include/eurydice_glue.h
@@ -1,5 +1,9 @@
 #pragma once
 
+#if defined(__cplusplus)
+extern "C" {
+#endif
+
 #include <inttypes.h>
 #include <stdlib.h>
 #include <stdio.h>
@@ -211,3 +215,6 @@ typedef struct {
 
 #define EURYDICE_REPLACE(ptr, new_v, t) ({ t old_v = *ptr; *ptr = new_v; old_v; })
 
+#if defined(__cplusplus)
+}
+#endif