1 files changed, 1 insertions, 1 deletions

diff --git a/src/util/common_logging.c b/src/util/common_logging.c
index 9fa848224..15ca9e106 100644
--- a/src/util/common_logging.c
+++ b/src/util/common_logging.c
@@ -23,7 +23,7 @@
  * @brief error handling API
  * @author Christian Grothoff
  */
-#include "platform.h"
+
 #include "gnunet_crypto_lib.h"
 #include "gnunet_disk_lib.h"
 #include "gnunet_strings_lib.h"