X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9104957deccc59e0e804215d5db498fabfd40d29..HEAD:/src/include/xbt/coverage.h

diff --git a/src/include/xbt/coverage.h b/src/include/xbt/coverage.h
deleted file mode 100644
index 30c209ef6b..0000000000
--- a/src/include/xbt/coverage.h
+++ /dev/null
@@ -1,22 +0,0 @@
-/* Copyright (c) 2019-2020. The SimGrid Team. All rights reserved.               */
-
-/* This program is free software; you can redistribute it and/or modify it
- * under the terms of the license (GNU LGPL) which comes with this package. */
-
-#ifndef COVERAGE_H
-#define COVERAGE_H
-
-#include <xbt/base.h>
-
-SG_BEGIN_DECL
-
-#ifdef COVERAGE
-extern void __gcov_flush();
-#define coverage_checkpoint() __gcov_flush()
-#else
-#define coverage_checkpoint() (void)0
-#endif
-
-SG_END_DECL
-
-#endif