diff options
| author | Wu, Ke <wuke@cs.umd.edu> | 2014-12-17 16:11:38 -0500 |
|---|---|---|
| committer | Wu, Ke <wuke@cs.umd.edu> | 2014-12-17 16:11:38 -0500 |
| commit | 7468e8d85e99b4619442c7afaf4a0d92870111bb (patch) | |
| tree | a6f17da7c69048c8900260b5490bb9d8611be3bb /klm/util/pool.hh | |
| parent | b6dd5a683db9dda2d634dd2fdb76606819594901 (diff) | |
| parent | 1a79175f9a101d46cf27ca921213d5dd9300518f (diff) | |
Merge with upstream
Diffstat (limited to 'klm/util/pool.hh')
| -rw-r--r-- | klm/util/pool.hh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/klm/util/pool.hh b/klm/util/pool.hh index 72f8a0c8..89e793d7 100644 --- a/klm/util/pool.hh +++ b/klm/util/pool.hh @@ -1,8 +1,8 @@ // Very simple pool. It can only allocate memory. And all of the memory it // allocates must be freed at the same time. -#ifndef UTIL_POOL__ -#define UTIL_POOL__ +#ifndef UTIL_POOL_H +#define UTIL_POOL_H #include <vector> @@ -42,4 +42,4 @@ class Pool { } // namespace util -#endif // UTIL_POOL__ +#endif // UTIL_POOL_H |