diff --git a/src/util/lp/emonomials.cpp b/src/util/lp/emonomials.cpp
index 4d4c6e1f3..90735d23e 100644
--- a/src/util/lp/emonomials.cpp
+++ b/src/util/lp/emonomials.cpp
@@ -280,6 +280,7 @@ void emonomials::do_canonize(monomial & m) const {
 
 bool emonomials::is_canonized(const monomial & m) const {
     monomial mm(m);
+    do_canonize(mm);
     return mm.rvars() == m.rvars();
 }