X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..351f33cd435ca4f01717f0b8a4fe7a77ba16edbf:/src/mc/Session.hpp diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp index 508f65ad90..342e37cc85 100644 --- a/src/mc/Session.hpp +++ b/src/mc/Session.hpp @@ -64,7 +64,7 @@ public: * * The code is expected to `exec` the model-checker program. */ - static Session* fork(std::function code); + static Session* fork(const std::function& code); /** Spawn a model-checked process *