Merge branch 'xbt_random' into 'master'

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

diff --git a/src/include/xbt/coverage.h b/src/include/xbt/coverage.h
index c301f41..a3b5295 100644 (file)
--- a/src/include/xbt/coverage.h
+++ b/src/include/xbt/coverage.h
@@ -8,7 +8,7 @@
 
 #include <xbt/base.h>
 
-SG_BEGIN_DECL()
+SG_BEGIN_DECL
 
 #ifdef COVERAGE
 extern void __gcov_flush();
@@ -17,6 +17,6 @@ extern void __gcov_flush();
 #define coverage_checkpoint() (void)0
 #endif
 
-SG_END_DECL()
+SG_END_DECL
 
 #endif