diff options
| author | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-03-28 15:37:48 +0300 |
|---|---|---|
| committer | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-03-28 15:37:48 +0300 |
| commit | 88e90957a1b56c98842769947f07d7abee95a8ec (patch) | |
| tree | 57404bcfc5371ddbcb3f55399d9e95c5f4bdb9bf /util/pool.hh | |
| parent | 206d0c969885817521e941eaec879517e39a5b59 (diff) | |
Modernize "C" includes in util.
This is one of those little chores in managing a long-lived C++
project: standard C headers like stdio.h and math.h now have their own
place in the C++ standard as resp. cstdio, cmath, and so on. In this
branch the #include names are updated for the util/ subdirectory; more
branches to follow.
C++11 adds cstdint, but to support compilation with the previous
standard, that change is left for later.
Diffstat (limited to 'util/pool.hh')
| -rw-r--r-- | util/pool.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/pool.hh b/util/pool.hh index 89e793d7e..fd55572cd 100644 --- a/util/pool.hh +++ b/util/pool.hh @@ -5,7 +5,6 @@ #define UTIL_POOL_H #include <vector> - #include <stdint.h> namespace util { |