mingle: remove unnecessary include

diff --git a/cmd/mingle/minglemain.cpp b/cmd/mingle/minglemain.cpp
index bb984b6b000f1897fab4ed67228ca8383ab58e28..9386dc3aa1be82652e7a239e935db1bfb20e9669 100644 (file)
--- a/cmd/mingle/minglemain.cpp
+++ b/cmd/mingle/minglemain.cpp
@@ -18,7 +18,6 @@
 #include <iostream>
 #include <memory>
 #include <sstream>
-#include <stddef.h>
 
 #include <sparse/DotIO.h>
 #include <mingle/edge_bundling.h>