--- a/src/core/wscript Thu Jul 19 19:08:43 2007 +0200 +++ b/src/core/wscript Thu Aug 09 21:16:39 2007 +0200 @@ -65,5 +65,6 @@ 'command-line.h', 'type-name.h', 'component-manager.h', + 'type-traits.h' ]