src/driver.h
changeset 8710 52015340050c
parent 8608 45d77f05d3a3
child 9340 a59cd2c7e548
--- a/src/driver.h	Mon Jan 07 14:02:26 2008 +0000
+++ b/src/driver.h	Mon Jan 07 14:23:25 2008 +0000
@@ -7,7 +7,7 @@
 
 #include "debug.h"
 #include "core/enum_type.hpp"
-#include "string.h"
+#include "string_func.h"
 #include <string>
 #include <map>