From 87cfbcac132d08554f8a59e58e94b0bb54efa979 Mon Sep 17 00:00:00 2001 From: Jianpeng Ma Date: Tue, 4 Dec 2018 20:31:07 +0800 Subject: [PATCH] msg/async/rdma: Delete duplicate header file Signed-off-by: Jianpeng Ma --- src/msg/async/rdma/Infiniband.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/msg/async/rdma/Infiniband.h b/src/msg/async/rdma/Infiniband.h index 974db59b1fa..2889cdfc66e 100644 --- a/src/msg/async/rdma/Infiniband.h +++ b/src/msg/async/rdma/Infiniband.h @@ -28,8 +28,6 @@ #include #include -#include - #include "include/int_types.h" #include "include/page.h" #include "common/debug.h" -- 2.39.5