From 679aea4811f683bfa2820872cd147d31b53d0d7f Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Tue, 23 Feb 2016 12:48:00 +0100
Subject: [PATCH] Fix build with mc

---
 src/mc/ModelChecker.cpp | 2 +-
 src/mc/Process.cpp      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index ca9a1b2ae4..15d5d835fc 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -49,9 +49,9 @@ namespace simgrid {
 namespace mc {
 
 ModelChecker::ModelChecker(std::unique_ptr<Process> process) :
-  process_(std::move(process)),
   hostnames_(xbt_dict_new()),
   page_store_(500),
+  process_(std::move(process)),
   parent_snapshot_(nullptr)
 {
 
diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index 7b5a0178cf..95187eeb30 100644
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -207,7 +207,7 @@ namespace simgrid {
 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()
-- 
2.20.1