From c09adb967a881af11785f2d5c3da18449ed22a5e Mon Sep 17 00:00:00 2001
From: Remco Bloemen <remco@coblue.eu>
Date: Mon, 7 Mar 2016 17:52:22 +0100
Subject: [PATCH] Use gen_random_uuid() in user management example.

The function uuid_generate_v4() is not available
without extensions.
---
 docs/examples/users.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/examples/users.md b/docs/examples/users.md
index 2c48f8e76..c3cdb43b5 100644
--- a/docs/examples/users.md
+++ b/docs/examples/users.md
@@ -251,7 +251,7 @@ basic_auth.send_validation() returns trigger
 declare
   tok uuid;
 begin
-  select uuid_generate_v4() into tok;
+  select gen_random_uuid() into tok;
   insert into basic_auth.tokens (token, token_type, email)
          values (tok, 'validation', new.email);
   perform pg_notify('validate',