X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/611d822b02f836d7abe031cced6adc4281ef4356..52b66d1262254a8d1d6e7ab48a602f23a7dc6beb:/src/mc/Session.hpp diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp index 39ab91a951..ddc75db02b 100644 --- a/src/mc/Session.hpp +++ b/src/mc/Session.hpp @@ -1,5 +1,4 @@ -/* Copyright (c) 2016-2018. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2016-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -60,11 +59,11 @@ public: /** Create a new session by forking * * This sets up the environment for the model-checked process - * (environoment variables, sockets, etc.). + * (environment variables, sockets, etc.). * * 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 *