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