src/core/config.cc
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>