--- gmpxx.h	2013-01-03 16:42:40.791544069 +0800
+++ ../gmp-5.1.0-unmodified/gmp-5.1.0/gmpxx.h	2012-12-19 03:05:09.000000000 +0800
@@ -3300,7 +3300,6 @@
     static const bool is_modulo = false;
     static const bool traps = false;
     static const bool tinyness_before = false;
-    static const bool tininess_before = false;
     static const float_round_style round_style = round_toward_zero;
   };
 
@@ -3338,7 +3337,6 @@
     static const bool is_modulo = false;
     static const bool traps = false;
     static const bool tinyness_before = false;
-    static const bool tininess_before = false;
     static const float_round_style round_style = round_toward_zero;
   };
 
@@ -3376,7 +3374,6 @@
     static const bool is_modulo = false;
     static const bool traps = false;
     static const bool tinyness_before = false;
-    static const bool tininess_before = false;
     static const float_round_style round_style = round_indeterminate;
   };
 }