X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..2558c8c0eb206ff353cb88672f5a90cd0e2562d3:/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 *