X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ed9565ed57e9c8ff4f244c0cd0a5af96c947f14f..00f2021a5b4cf37f52dab7839d0d29505a60e673:/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();                                                                                                     \