X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fmath%2Frandom.c;h=0429b3095c9b76e34484d10129a6a4fa4e9448b9;hb=f5c108becd49d78f4898cab11352291f5689d24e;hp=7420a82ecee8392e0658f5026aa0221b2e50f384;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp-builds.git

diff --git a/src/math/random.c b/src/math/random.c
index 7420a82e..0429b309 100644
--- a/src/math/random.c
+++ b/src/math/random.c
@@ -1,6 +1,5 @@
 /* PSPP - computes sample statistics.
    Copyright (C) 1997-9, 2000, 2005 Free Software Foundation, Inc.
-   Written by Ben Pfaff <blp@gnu.org>.
 
    This program is free software; you can redistribute it and/or
    modify it under the terms of the GNU General Public License as
@@ -25,14 +24,14 @@
 static gsl_rng *rng;
 
 void
-random_init (void) 
+random_init (void)
 {
 }
 
 void
-random_done (void) 
+random_done (void)
 {
-  if (rng != NULL) 
+  if (rng != NULL)
     gsl_rng_free (rng);
 }
 
@@ -48,7 +47,7 @@ get_rng (void)
 /* Initializes or reinitializes the random number generator with
    the given SEED. */
 void
-set_rng (unsigned long seed) 
+set_rng (unsigned long seed)
 {
   rng = gsl_rng_alloc (gsl_rng_mt19937);
   if (rng == NULL)