maint: update all copyright year number ranges

[gnulib.git] / lib / random_r.c

diff --git a/lib/random_r.c b/lib/random_r.c
index c9786ed..349a7ba 100644 (file)
--- a/lib/random_r.c
+++ b/lib/random_r.c
@@ -1,5 +1,5 @@
 /*
-   Copyright (C) 1995, 2005, 2008-2012 Free Software Foundation, Inc.
+   Copyright (C) 1995, 2005, 2008-2013 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
@@ -57,11 +57,13 @@
    below.  */
 #define _GL_ARG_NONNULL(params)
 
+/* Specification.  */
+#include <stdlib.h>
+
 #include <errno.h>
 #include <limits.h>
 #include <stddef.h>
-#include <stdlib.h>
-#include <inttypes.h>
+#include <stdint.h>
 
 
 /* An improved random number generation package.  In addition to the standard