From 10d9db5b4ff140f64b8cbf8150c1f84887e95a8e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 11 Jul 2019 17:39:36 +0200
Subject: [PATCH] fx

---
 src/mc/AddressSpace.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mc/AddressSpace.hpp b/src/mc/AddressSpace.hpp
index 760b06086d..d14040e0f2 100644
--- a/src/mc/AddressSpace.hpp
+++ b/src/mc/AddressSpace.hpp
@@ -102,8 +102,8 @@ public:
    *  @param address       remote source address of the data
    *  @param options
    */
-  virtual const void* read_bytes(void* buffer, std::size_t size, RemotePtr<void> address,
-                                 ReadOptions options = ReadOptions::none()) const = 0;
+  virtual void* read_bytes(void* buffer, std::size_t size, RemotePtr<void> address,
+                           ReadOptions options = ReadOptions::none()) const = 0;
 
   /** Read a given data structure from the address space */
   template <class T> inline void read(T* buffer, RemotePtr<T> ptr) const { this->read_bytes(buffer, sizeof(T), ptr); }
-- 
2.20.1