diff options
Diffstat (limited to 'src/backend/port/srandom.c')
| -rw-r--r-- | src/backend/port/srandom.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/port/srandom.c b/src/backend/port/srandom.c index b1034f02790..f7ff333f2e1 100644 --- a/src/backend/port/srandom.c +++ b/src/backend/port/srandom.c @@ -1,7 +1,7 @@ -/* $Id: srandom.c,v 1.7 1999/07/15 15:19:34 momjian Exp $ */ +/* $Id: srandom.c,v 1.8 1999/07/16 03:13:08 momjian Exp $ */ #include <stdlib.h> -#include <math.h> /* for pow() prototype */ +#include <math.h> #include <errno.h> void |