X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c8f356157e99a791a71bd6408f9d73423c0dab74..6e1633c43c1a58d11116dff425e13abb49b2162c:/src/mc/mc_client_api.cpp diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp index 69bdb4f285..bdc12a2150 100644 --- a/src/mc/mc_client_api.cpp +++ b/src/mc/mc_client_api.cpp @@ -27,6 +27,7 @@ extern "C" { XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client_api, mc, "Public API for the model-checked application"); + } int MC_random(int min, int max)