diff -r 4e8cb1577144 -r 4b28e9740e3b src/core/random-variable.h
--- a/src/core/random-variable.h	Mon Apr 14 16:19:17 2008 -0700
+++ b/src/core/random-variable.h	Thu Apr 17 13:42:25 2008 -0700
@@ -163,10 +163,6 @@
    */
   static void SetRunNumber(uint32_t n);
 
-
-  RandomVariable (Attribute value);
-  operator Attribute () const;
-
 private:
   friend std::ostream &operator << (std::ostream &os, const RandomVariable &var);
   friend std::istream &operator >> (std::istream &os, RandomVariable &var);