X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7d5154294d0c97a3690134cc5d3a9900189055cf..7b0e03ac48be8e014d877060fbd385201b1b896f:/src/mc/mc_client_api.cpp diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp index d2c13d6445..ac87f79183 100644 --- a/src/mc/mc_client_api.cpp +++ b/src/mc/mc_client_api.cpp @@ -18,9 +18,6 @@ * communicate with the MC (declared in modelchecker.h). */ -XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client_api, mc, - "Public API for the model-checked application"); - // MC_random() is in mc_base.cpp void MC_assert(int prop)