#include "config.h"
#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
#if defined(_WIN32) && defined(ENABLE_WIN32_REGISTRY)
#include <windows.h>
#endif
return result;
}
-/* Reset the standard prefix */
+/* Reset the standard prefix. */
void
set_std_prefix (prefix, len)
const char *prefix;