diff options
Diffstat (limited to 'src/backend/port/random.c')
| -rw-r--r-- | src/backend/port/random.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/backend/port/random.c b/src/backend/port/random.c index 5cef1d83157..cf74fcafab8 100644 --- a/src/backend/port/random.c +++ b/src/backend/port/random.c @@ -1,3 +1,5 @@ +/* $Id: random.c,v 1.2 1997/12/19 13:34:29 scrappy Exp $ */ + #include <math.h> /* for pow() prototype */ #include <errno.h> |