From fc730f07112dd56d4201ee307bc7c54b8ad22df0 Mon Sep 17 00:00:00 2001 From: degomme Date: Tue, 15 Nov 2016 17:42:16 -0700 Subject: [PATCH 1/1] that was useless. --- src/msg/msg_host.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/msg/msg_host.cpp b/src/msg/msg_host.cpp index d351e15f68..28bd9bbf3b 100644 --- a/src/msg/msg_host.cpp +++ b/src/msg/msg_host.cpp @@ -118,8 +118,7 @@ void __MSG_host_priv_free(msg_host_priv_t priv) if (size > 0) XBT_WARN("dp_objs: %u pending task?", size); xbt_dict_free(&priv->dp_objs); - if(priv->file_descriptor_table) - delete priv->file_descriptor_table; + delete priv->file_descriptor_table; free(priv); } -- 2.20.1