diff --git a/src/core/wscript b/src/core/wscript
index 222539171..6e3f8cdbd 100644
--- a/src/core/wscript
+++ b/src/core/wscript
@@ -65,5 +65,6 @@ def build(bld):
         'command-line.h',
         'type-name.h',
         'component-manager.h',
+        'type-traits.h'
         ]