From 22db006e0decafbb38289235559be4fa19601a5a Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 26 Jan 2019 09:48:59 +0100
Subject: [PATCH] I'd like to kill that parmap.h at some point

Let's first reduce its visibility
---
 include/xbt.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/xbt.h b/include/xbt.h
index 557b45f7bd..ac535c89ac 100644
--- a/include/xbt.h
+++ b/include/xbt.h
@@ -21,7 +21,6 @@
 
 #include <xbt/dynar.h>
 #include <xbt/dict.h>
-#include <xbt/parmap.h>
 
 #include <xbt/config.h>
 #ifdef __cplusplus
-- 
2.20.1