X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3e9453209f1da7deb92fe629428e49f3528217bd..916cc08a5243e265e7900010e68ffff4e916e345:/src/xbt/coverage.h

diff --git a/src/xbt/coverage.h b/src/xbt/coverage.h
index 750ad7d31f..3d20eaf0d9 100644
--- 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();                                                                                                     \