* lib/getaddrinfo.c (getnameinfo): Use new lightweight uinttostr,

[gnulib.git] / lib / gethrxtime.c

diff --git a/lib/gethrxtime.c b/lib/gethrxtime.c
index 6ece8ae..f3d41c7 100644 (file)
--- a/lib/gethrxtime.c
+++ b/lib/gethrxtime.c
@@ -1,6 +1,6 @@
 /* gethrxtime -- get high resolution real time
 
-   Copyright (C) 2005 Free Software Foundation, Inc.
+   Copyright (C) 2005, 2006 Free Software Foundation, Inc.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -18,9 +18,7 @@
 
 /* Written by Paul Eggert.  */
 
-#ifdef HAVE_CONFIG_H
-# include <config.h>
-#endif
+#include <config.h>
 
 #include "gethrxtime.h"