fix #4203

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

src/smt/theory_utvpi_def.h

@@ -970,7 +970,7 @@ namespace smt {
             if (eps_r.is_pos()) {
                 rational num_r = -b.get_rational();
                 SASSERT(num_r.is_pos());
-                rational new_delta = num_r/4*eps_r;
+                rational new_delta = num_r/(4*eps_r);
                 if (new_delta < m_delta) {
                     m_delta = new_delta;
                 }