From ab6d61f18ed0c1177495aea3b0d3200cda426bca Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 20 Apr 2019 23:25:33 +0200
Subject: [PATCH] include a header we use

---
 src/xbt/OsSemaphore.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xbt/OsSemaphore.hpp b/src/xbt/OsSemaphore.hpp
index f6e7083946..e8bc29bbbd 100644
--- a/src/xbt/OsSemaphore.hpp
+++ b/src/xbt/OsSemaphore.hpp
@@ -3,6 +3,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include <xbt/base.h>
+
 #include <condition_variable>
 #include <mutex>
 
-- 
2.20.1