X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2dba4579bf4c7f7e8cde2b36ff308645a3cc891b..a4a0b7a61683f71695edc5b66c554d209311699f:/src/mc/Session.cpp diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp index 8195c5c24b..664fe3eb8e 100644 --- a/src/mc/Session.cpp +++ b/src/mc/Session.cpp @@ -131,7 +131,7 @@ void Session::logState() } // static -Session* Session::fork(std::function code) +Session* Session::fork(std::function code) { // Create a AF_LOCAL socketpair used for exchanging messages // bewteen the model-checker process (ourselves) and the model-checked