changeset 707 | c3b176977801 |
parent 706 | 8b0bf4623c9d |
child 714 | e6561d5e8018 |
--- a/SConstruct Fri May 25 10:02:50 2007 +0200 +++ b/SConstruct Fri May 25 10:04:38 2007 +0200 @@ -39,7 +39,6 @@ 'test.cc', 'random-variable.cc', 'rng-stream.cc', - 'interface.cc', 'uid-manager.cc', 'default-value.cc', 'command-line.cc', @@ -71,7 +70,6 @@ 'test.h', 'random-variable.h', 'rng-stream.h', - 'interface.h', 'default-value.h', 'command-line.h', 'type-name.h',