X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c2bebbceae24bb9a74fe034c71862c84a6193e7f..16bbb8a8212497d9c44c81333ed2c0e689e0c5af:/src/include/mc/mc.h diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h index f227baef43..eaeb396691 100644 --- a/src/include/mc/mc.h +++ b/src/include/mc/mc.h @@ -36,7 +36,7 @@ SG_BEGIN_DECL() -/********************************** Configuration of MC **************************************/ +/********************************** Configuration of MC **************************************/ extern XBT_PUBLIC(int) _sg_do_model_check; extern XBT_PRIVATE int _sg_do_model_check_record;