diff --git a/src/math/polynomial/upolynomial.cpp b/src/math/polynomial/upolynomial.cpp
index 0290a5924..f300dc4ab 100644
--- a/src/math/polynomial/upolynomial.cpp
+++ b/src/math/polynomial/upolynomial.cpp
@@ -524,11 +524,11 @@ namespace upolynomial {
         set(sz1, p1, buffer);
         if (sz1 <= 1)
             return;
+		
         numeral const & b_n = p2[sz2-1];
         SASSERT(!m().is_zero(b_n));
         scoped_numeral a_m(m());
-        while (true) {
-            checkpoint();
+        while (m_limit.inc()) {			
             TRACE("rem_bug", tout << "rem loop, p2:\n"; display(tout, sz2, p2); tout << "\nbuffer:\n"; display(tout, buffer); tout << "\n";);
             sz1 = buffer.size();
             if (sz1 < sz2) {