Improve formatting of simcalls.py's output..

[simgrid.git] / src / simix / smx_private.hpp

diff --git a/src/simix/smx_private.hpp b/src/simix/smx_private.hpp
index d8c2e13..bcbb2f6 100644 (file)
--- a/src/simix/smx_private.hpp
+++ b/src/simix/smx_private.hpp
@@ -8,6 +8,7 @@
 
 #include "simgrid/s4u/Actor.hpp"
 #include "src/kernel/context/Context.hpp"
+#include <xbt/xbt_os_thread.h>
 
 #include <unordered_map>
 #include <vector>