Remove extra cases for missing <stdint.h>.
authorRichard Kreckel <kreckel@ginac.de>
Sun, 31 Jan 2016 09:15:50 +0000 (10:15 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Sun, 31 Jan 2016 09:15:50 +0000 (10:15 +0100)
Use <cstdint> unconditionally -- it's been standardized in C++11.


No differences found