X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/31a818b15a9657dd08268d473255481b2a2d197b..f09d7e3fcf1e6f76b8391b451d5f43b175fd42dc:/src/mc/Session.cpp diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp index a9279cacc4..3d62b73082 100644 --- a/src/mc/Session.cpp +++ b/src/mc/Session.cpp @@ -135,7 +135,7 @@ void Session::logState() } // static -Session* Session::fork(std::function code) +Session* Session::fork(const std::function& code) { // Create a AF_LOCAL socketpair used for exchanging messages // between the model-checker process (ourselves) and the model-checked