Version 3.28.71.7 (merged r23397)

src/property-details.h

Index: src/property-details.h
diff --git a/src/property-details.h b/src/property-details.h
index 7eb2e4ea9da8f660183f185bc759e01248813fa4..c5f6a8ee13a659a6a24f13f5ed3b2ceddac88f79 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;