Version 3.27.34.17 (merged r23397)

src/property-details.h

Index: src/property-details.h
diff --git a/src/property-details.h b/src/property-details.h
index cfe257efcc40652f2734bc21d45b38de0745eeb9..a4b9761e3fb113760c86c80c97e182302106f04e 100644
--- a/src/property-details.h
+++ b/src/property-details.h
@@ -124,8 +124,6 @@ class Representation {
     return other.is_more_general_than(*this) || other.Equals(*this);
   }
 
-  bool CanContainDouble(double value);
-
   Representation generalize(Representation other) {
     if (other.fits_into(*this)) return *this;
     if (other.is_more_general_than(*this)) return other;