diff options
Diffstat (limited to 'source.list')
| -rw-r--r-- | source.list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source.list b/source.list index 5a5af4ea7..a4d2b141d 100644 --- a/source.list +++ b/source.list @@ -364,8 +364,8 @@ core/math_func.cpp core/math_func.hpp core/mem_func.hpp core/overflowsafe_type.hpp -core/pool.hpp core/pool_func.hpp +core/pool_type.hpp core/random_func.cpp core/random_func.hpp core/smallmap_type.hpp |