From 376226ea601ffe2aebfb2e07fb14ddd83c1507da Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 26 May 2015 12:18:57 +0200
Subject: [PATCH] [mc] Fix remote_ptr

---
 src/mc/AddressSpace.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index 307c81a841..05665fb4d6 100644
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -27,7 +27,7 @@ namespace mc {
 template<class T> class remote_ptr {
   std::uint64_t address_;
 public:
-  remote_ptr() : address_(nullptr) {}
+  remote_ptr() : address_(0) {}
   remote_ptr(std::uint64_t address) : address_(address) {}
   remote_ptr(T* address) : address_((std::uint64_t)address) {}
   std::uint64_t address() const { return address_; }
-- 
2.20.1