--- a/src/core/wscript	Mon Mar 10 00:26:54 2008 +0100
+++ b/src/core/wscript	Mon Mar 10 00:27:53 2008 +0100
@@ -38,12 +38,9 @@
         'random-variable.cc',
         'rng-stream.cc',
         'uid-manager.cc',
-        'default-value.cc',
         'command-line.cc',
         'type-name.cc',
-        'random-variable-default-value.cc',
         'type-traits-test.cc',
-        'type-id-default-value.cc',
         'attribute.cc',
         'boolean.cc',
         'attribute-test.cc',
@@ -84,13 +81,10 @@
         'test.h',
         'random-variable.h',
         'rng-stream.h',
-        'default-value.h',
         'command-line.h',
         'type-name.h',
         'type-traits.h',
-        'random-variable-default-value.h',
         'int-to-type.h',
-        'type-id-default-value.h',
         'attribute.h',
         'attribute-accessor-helper.h',
         'boolean.h',