changeset 4147 | 5d8530130930 |
parent 4145 | bb930262e55c |
child 4158 | 2b6dba4062e1 |
--- a/src/core/config.cc Wed Jan 21 00:28:47 2009 -0800 +++ b/src/core/config.cc Thu Jan 22 23:07:34 2009 -0800 @@ -22,7 +22,7 @@ #include "object.h" #include "global-value.h" #include "object-vector.h" -#include "object-names.h" +#include "names.h" #include "pointer.h" #include "log.h" #include <sstream>