try to fix stack handling

[simgrid.git] / src / xbt / coverage.h

diff --git a/src/xbt/coverage.h b/src/xbt/coverage.h
index 750ad7d31ff7462f198885d18bdb048076ac0a10..3d20eaf0d942c9c127b02164e7025de7678e38de 100644 (file)
--- a/src/xbt/coverage.h
+++ b/src/xbt/coverage.h
@@ -13,7 +13,7 @@ SG_BEGIN_DECL
 #ifdef COVERAGE
 
 #if defined(__GNUC__) && __GNUC__ >= 11
-#include "gcov.h"
+#include <gcov.h>
 #define coverage_checkpoint()                                                                                          \
   do {                                                                                                                 \
     __gcov_dump();                                                                                                     \