Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cosmetics around #include.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 10 Mar 2021 09:11:29 +0000 (10:11 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 10 Mar 2021 09:35:27 +0000 (10:35 +0100)
src/bindings/java/jxbt_utilities.cpp
src/kernel/activity/MutexImpl.cpp

index d418b3f..2d61bc3 100644 (file)
@@ -9,8 +9,6 @@
 #include "xbt/string.hpp"
 #include "xbt/sysdep.h"
 
-#include <cstdlib> /* abort */
-
 jclass jxbt_get_class(JNIEnv * env, const char *name)
 {
   jclass cls = env->FindClass(name);
index 2930115..c0f2a19 100644 (file)
@@ -6,8 +6,6 @@
 #include "src/kernel/activity/MutexImpl.hpp"
 #include "src/kernel/activity/SynchroRaw.hpp"
 
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_mutex, simix_synchro, "Mutex kernel-space implementation");
-
 #if SIMGRID_HAVE_MC
 #include "simgrid/modelchecker.h"
 #include "src/mc/mc_safety.hpp"
@@ -18,6 +16,8 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_mutex, simix_synchro, "Mutex kernel-space
 #define MC_CHECK_NO_DPOR() (void)0
 #endif
 
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_mutex, simix_synchro, "Mutex kernel-space implementation");
+
 namespace simgrid {
 namespace kernel {
 namespace activity {