diff options
Diffstat (limited to 'src/include/common/pg_prng.h')
| -rw-r--r-- | src/include/common/pg_prng.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/common/pg_prng.h b/src/include/common/pg_prng.h index 9e11e8fffdc..b5c0b8d2883 100644 --- a/src/include/common/pg_prng.h +++ b/src/include/common/pg_prng.h @@ -55,6 +55,7 @@ extern uint32 pg_prng_uint32(pg_prng_state *state); extern int32 pg_prng_int32(pg_prng_state *state); extern int32 pg_prng_int32p(pg_prng_state *state); extern double pg_prng_double(pg_prng_state *state); +extern double pg_prng_double_normal(pg_prng_state *state); extern bool pg_prng_bool(pg_prng_state *state); #endif /* PG_PRNG_H */ |