updated spec

dlib/rand/rand_kernel_abstract.h

@@ -72,8 +72,6 @@ namespace dlib
             /*!
                 ensures
                     - returns a pseudorandom number in the range 0 to 255
-                throws
-                    - std::bad_alloc
             !*/
 
             uint16 get_random_16bit_number (
@@ -81,8 +79,6 @@ namespace dlib
             /*!
                 ensures
                     - returns a pseudorandom number in the range 0 to 2^16-1 
-                throws
-                    - std::bad_alloc
             !*/
 
             uint32 get_random_32bit_number (
@@ -90,8 +86,6 @@ namespace dlib
             /*!
                 ensures
                     - returns a pseudorandom number in the range 0 to 2^32-1 
-                throws
-                    - std::bad_alloc
             !*/
 
             float get_random_float (
@@ -99,8 +93,6 @@ namespace dlib
             /*!
                 ensures
                     - returns a random float number N where:  0.0 <= N < 1.0.
-                throws
-                    - std::bad_alloc
             !*/
 
             double get_random_double (
@@ -108,8 +100,14 @@ namespace dlib
             /*!
                 ensures
                     - returns a random double number N where:  0.0 <= N < 1.0.
-                throws
-                    - std::bad_alloc
+            !*/
+
+            double get_random_gaussian (
+            );
+            /*!
+                ensures
+                    - returns a random number sampled from a Gaussian distribution 
+                      with mean 0 and standard deviation 1. 
             !*/
 
             void swap (