| Index: src/property-details.h
|
| diff --git a/src/property-details.h b/src/property-details.h
|
| index 3e54473350358ed37312a19e13a8313a449cdb3e..ee0dc02c09cb3ee40e97a7f18025d476a0aac77e 100644
|
| --- a/src/property-details.h
|
| +++ b/src/property-details.h
|
| @@ -122,8 +122,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;
|
|
|