From 38ae1c9e075c09dad30905e7c36e9a0e0a915718 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 11 Dec 2012 16:35:15 +0100 Subject: [PATCH] Revert "I'm so glad that this line is useless" This reverts commit 5904252e9e4e84030ee544d5efbd832dffa696a7. It broke builds with tracing=off. --- src/msg/msg_private.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/msg/msg_private.h b/src/msg/msg_private.h index 855992ff53..3c6c04db3a 100644 --- a/src/msg/msg_private.h +++ b/src/msg/msg_private.h @@ -9,6 +9,7 @@ #include "msg/msg.h" #include "simgrid/simix.h" +#include "surf/surf.h" #include "xbt/fifo.h" #include "xbt/dynar.h" #include "xbt/swag.h" -- 2.20.1