make the eurydice glue header includable from C++

AeneasVerif · Apr 23, 2024 · 48910e1 · 48910e1
1 parent f2fd840
commit 48910e1
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