model-checker : parallel comparison of system states for liveness model-checking

[simgrid.git] / include / xbt.h

diff --git a/include/xbt.h b/include/xbt.h
index 3a9bc583c29f1892f020cd4c665aa1c61c2670e9..1893481e94f6afbf363f0dd8e22876d63b9a55b5 100644 (file)
--- a/include/xbt.h
+++ b/include/xbt.h
@@ -28,7 +28,6 @@
 #include <xbt/parmap.h>
 
 #include <xbt/peer.h>
-#include <xbt/datadesc.h>
 #include <xbt/config.h>
 #include <xbt/cunit.h>