From af3b9452a2026092d3abdaaca0ffbd2ea1e26369 Mon Sep 17 00:00:00 2001
From: Michael <CommanderBubble@users.noreply.github.com>
Date: Fri, 12 Feb 2016 23:33:22 +1100
Subject: [PATCH] remove include that is already in header

---
 src/err.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/err.cpp b/src/err.cpp
index 1ca7200e..cd7a86c6 100644
--- a/src/err.cpp
+++ b/src/err.cpp
@@ -28,7 +28,6 @@
 */
 
 #include "err.hpp"
-#include "platform.hpp"
 
 const char *zmq::errno_to_string (int errno_)
 {