From eef5e777c9d690c334559298b007da064488ce70 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 21 Apr 2019 15:10:56 -0600
Subject: [PATCH] include/cxx/cstdlib:  Add std::random()

---
 include/cxx/cstdlib | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/cxx/cstdlib b/include/cxx/cstdlib
index ec632ed054..714319e415 100644
--- a/include/cxx/cstdlib
+++ b/include/cxx/cstdlib
@@ -53,6 +53,7 @@ namespace std
 
   using ::srand;
   using ::rand;
+  using ::random;
 
 #ifndef CONFIG_DISABLE_ENVIRON
   // Environment variable support