1 files changed, 1 insertions, 0 deletions
diff --git a/source.list b/source.list
index fdde4965e..f08c4302d 100644
--- a/source.list
+++ b/source.list
@@ -205,6 +205,7 @@ music/null_m.h
 sound/null_s.h
 video/null_v.h
 oldpool.h
+oldpool_func.h
 openttd.h
 order_base.h
 order_func.h