remove useless cstdint header

This commit is contained in:
Gael Guennebaud 2015-10-23 14:41:25 +02:00
parent 54b23cce16
commit 0905ed5390

View File

@ -56,7 +56,6 @@
#include <cmath>
#include <cstring>
#include <limits>
#include <cstdint>
#include <complex>
#include <algorithm>