From 5904252e9e4e84030ee544d5efbd832dffa696a7 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 7 Dec 2012 09:55:28 +0100 Subject: [PATCH] I'm so glad that this line is useless --- src/msg/msg_private.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/msg/msg_private.h b/src/msg/msg_private.h index 3c6c04db3a..855992ff53 100644 --- a/src/msg/msg_private.h +++ b/src/msg/msg_private.h @@ -9,7 +9,6 @@ #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