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

diff --git a/src/math/random.c b/src/math/random.c
index 70ae9c86..0429b309 100644
--- a/src/math/random.c
+++ b/src/math/random.c
@@ -24,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);
 }
 
@@ -47,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)