From 1710ae7ecbb5d366a11a7e5b7fff135a48c6b146 Mon Sep 17 00:00:00 2001
From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 8 Dec 2010 13:54:49 +0000
Subject: [PATCH 1/1] Include threadpool.h

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9089 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 include/xbt.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/xbt.h b/include/xbt.h
index 46c396a33b..c222c57aee 100644
--- a/include/xbt.h
+++ b/include/xbt.h
@@ -26,6 +26,7 @@
 #include <xbt/swag.h>
 #include <xbt/heap.h>
 #include <xbt/queue.h>
+#include <xbt/threadpool.h>
 
 #include <xbt/peer.h>
 #include <xbt/config.h>
-- 
2.20.1