--- a/src/core/random-variable.h	Thu Jan 22 15:13:47 2009 -0500
+++ b/src/core/random-variable.h	Thu Jan 22 15:59:50 2009 -0500
@@ -55,13 +55,7 @@
    * \param seed
    */ 
   static void SetSeed (uint32_t seed);
- 
-   /**
-    * \brief Get the seed value
-    * \return seed value
-    */
-   static uint32_t GetSeed ();
- 
+
    /**
    * \brief set the seed
    * \code