From f17266e2680b3906bcd11bf09ed8c528995737ce Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 16 Jan 2019 11:24:52 +0100
Subject: [PATCH] Include is not needed anymore.  Remove.

---
 src/xbt/xbt_os_thread.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index 1a19ba5ac6..270af96cf2 100644
--- a/src/xbt/xbt_os_thread.c
+++ b/src/xbt/xbt_os_thread.c
@@ -15,11 +15,6 @@
 
 #include <pthread.h>
 
-#if defined(__FreeBSD__)
-#include "pthread_np.h"
-#define cpu_set_t cpuset_t
-#endif
-
 #include <limits.h>
 #include <semaphore.h>
 #include <errno.h>
-- 
2.20.1