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