From ab09e80205275d3bf9fe2f9ac38e76c59091f4ea Mon Sep 17 00:00:00 2001 From: Victor Julien Date: Thu, 17 Sep 2009 10:46:08 +0200 Subject: [PATCH] Remove unnecessary header. --- src/eidps-common.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/eidps-common.h b/src/eidps-common.h index 6ca2532df0..ecd3a3f5aa 100644 --- a/src/eidps-common.h +++ b/src/eidps-common.h @@ -40,7 +40,6 @@ #include #include -#include #include #define BUG_ON(x) assert(!(x))