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