Add new entry in Release_Notes.

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

diff --git a/src/include/xbt/coverage.h b/src/include/xbt/coverage.h
deleted file mode 100644 (file)
index ee68a1e..0000000
--- a/src/include/xbt/coverage.h
+++ /dev/null
@@ -1,22 +0,0 @@
-/* Copyright (c) 2019-2021. 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