diff options
Diffstat (limited to 'src/backend/port/srandom.c')
| -rw-r--r-- | src/backend/port/srandom.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c index eb16736d4ce..5f61088be69 100644 --- a/src/backend/port/srandom.c +++ b/src/backend/port/srandom.c @@ -1,11 +1,11 @@ -/* $Id: srandom.c,v 1.9 1999/07/16 23:09:45 tgl Exp $ */ +/* $Id: srandom.c,v 1.10 2001/08/24 14:07:49 petere Exp $ */ + +#include "c.h" #include <stdlib.h> #include <math.h> #include <errno.h> -#include "config.h" - void srandom(unsigned int seed) { |