| Index: src/property-details.h
|
| diff --git a/src/property-details.h b/src/property-details.h
|
| index 3405bd904a7bc97dcbfc7afd04d96d6a3237b3b8..01050dbd4fe043f1f557ed1477577f7f19e78c05 100644
|
| --- a/src/property-details.h
|
| +++ b/src/property-details.h
|
| @@ -148,6 +148,8 @@ 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;
|
|
|