Don't hash Float's header
Only the Float's value matters and hashing the header leads to a
stackoverflow as the header is a Term->TypedTerm->Float.
@@ -253,7 +253,6 @@ impl Display for Float {
impl Hash for Float {
#[inline]
fn hash<H: hash::Hasher>(&self, state: &mut H) {
- self.header.hash(state);
self.value.to_bits().hash(state);
}
}
