Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix build with mc
authordegomme <augustin.degomme@unibas.ch>
Tue, 23 Feb 2016 11:48:00 +0000 (12:48 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 23 Feb 2016 11:48:00 +0000 (12:48 +0100)
src/mc/ModelChecker.cpp
src/mc/Process.cpp

index ca9a1b2..15d5d83 100644 (file)
@@ -49,9 +49,9 @@ namespace simgrid {
 namespace mc {
 
 ModelChecker::ModelChecker(std::unique_ptr<Process> process) :
 namespace mc {
 
 ModelChecker::ModelChecker(std::unique_ptr<Process> process) :
-  process_(std::move(process)),
   hostnames_(xbt_dict_new()),
   page_store_(500),
   hostnames_(xbt_dict_new()),
   page_store_(500),
+  process_(std::move(process)),
   parent_snapshot_(nullptr)
 {
 
   parent_snapshot_(nullptr)
 {
 
index 7b5a017..95187ee 100644 (file)
@@ -207,7 +207,7 @@ namespace simgrid {
 namespace mc {
 
 Process::Process(pid_t pid, int sockfd) :
 namespace mc {
 
 Process::Process(pid_t pid, int sockfd) :
-  AddressSpace(this), socket_(sockfd), pid_(pid), running_(true)
+   AddressSpace(this),pid_(pid), socket_(sockfd), running_(true)
 {}
 
 void Process::init()
 {}
 
 void Process::init()