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; |