From 5aa801e72188da98c86857ee0f97f85795195ee2 Mon Sep 17 00:00:00 2001
From: zz4032 <alg4032@arcor.de>
Date: Tue, 23 Jun 2020 20:54:50 +0200
Subject: [PATCH] Update misc.h

---
 src/misc.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/misc.h b/src/misc.h
index e145c4f4..5f5aa7e5 100644
--- a/src/misc.h
+++ b/src/misc.h
@@ -29,7 +29,6 @@
 #include <ostream>
 #include <string>
 #include <vector>
-#include <mm_malloc.h>
 
 #include "types.h"
 #include "thread_win32_osx.h"