src/core/wscript
changeset 3556 1c401259af61
parent 3425 c69779f5e51e
child 3648 f912b24ddf2d
--- a/src/core/wscript	Mon Aug 25 15:21:01 2008 -0700
+++ b/src/core/wscript	Tue Aug 26 08:41:21 2008 -0700
@@ -45,7 +45,6 @@
         'test.cc',
         'random-variable.cc',
         'rng-stream.cc',
-        'uid-manager.cc',
         'command-line.cc',
         'type-name.cc',
         'type-traits-test.cc',