rename a header file now that it's clean

[simgrid.git] / src / mc / Process.cpp

diff --git a/src/mc/Process.cpp b/src/mc/Process.cpp
index 30a45ff..0a38e29 100644 (file)
--- a/src/mc/Process.cpp
+++ b/src/mc/Process.cpp
@@ -81,6 +81,7 @@ static const char* const filtered_libraries[] = {
     "libc++",
     "libcdt",
     "libcgraph",
+    "libcrypto",
     "libcxxrt",
     "libdl",
     "libdw",
@@ -499,7 +500,7 @@ const void *Process::read_bytes(void* buffer, std::size_t size,
   }
 
   if (pread_whole(this->memory_file, buffer, size, address.address()) < 0)
-    xbt_die("Read from process %lli failed", (long long) this->pid_);
+    xbt_die("Read at %p from process %lli failed", (void*)address.address(), (long long)this->pid_);
   return buffer;
 }