X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fmath%2Frandom.c;h=ac723375c416a6c50aa5f2f7fd9003fc433fcc8c;hb=1b3322acf30d531cefe3cdbf7287ec8cde601bcd;hp=70ae9c86139daad98e25b5c12589c02885c743bd;hpb=480a0746507ce73d26f528b56dc3ed80195096e0;p=pspp
diff --git a/src/math/random.c b/src/math/random.c
index 70ae9c8613..ac723375c4 100644
--- a/src/math/random.c
+++ b/src/math/random.c
@@ -1,20 +1,18 @@
-/* PSPP - computes sample statistics.
+/* PSPP - a program for statistical analysis.
Copyright (C) 1997-9, 2000, 2005 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 the Free Software Foundation; either version 2 of the
- License, or (at your option) any later version.
+ 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
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
- This program is distributed in the hope that it will be useful, but
- WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- General Public License for more details.
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- 02110-1301, USA. */
+ along with this program. If not, see . */
#include
#include "random.h"
@@ -24,14 +22,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 +45,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)