remove duplicate include. Fixes #1837

This commit is contained in:
Zdenko Podobný 2018-08-14 13:06:14 +02:00
parent fd492062d0
commit 296309c1f1

View File

@ -22,7 +22,6 @@
#include <stdarg.h>
#include <limits.h>
#include <cstring>
#include <map>
#include <utility>
#include <algorithm>