Importing euclidean_domain breaks my code

Stream: general

[Chris Hughes]

For some reason importing euclidean domain breaks my code, and causes a deterministic timeout. The same problem happens if I try to import algebra.euclidean_domain into linear_algebra.multivariate_polynomial. What's happening?

[Chris Hughes]

Discovered a solution. Delete the unnecessary decidable_equality argument from the euclidean_domain class