From 8068e279f39f5a4ee96fcd0e1f354302c135bb29 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 3 Jul 2018 16:26:32 +0200
Subject: [PATCH] Kill unused field.

---
 src/msg/msg_private.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/msg/msg_private.hpp b/src/msg/msg_private.hpp
index 3d752fd8b4..375a56013e 100644
--- a/src/msg/msg_private.hpp
+++ b/src/msg/msg_private.hpp
@@ -54,7 +54,6 @@ namespace msg {
 class ActorExt {
 public:
   explicit ActorExt(void* d) : data(d) {}
-  msg_error_t errno_ = MSG_OK;  /* the last value returned by a MSG_function */
   void* data         = nullptr; /* user data */
 };
 
-- 
2.20.1