diff --git a/src/ast/sls/sls_arith_clausal.cpp b/src/ast/sls/sls_arith_clausal.cpp
index 0a25fcc5b..877b3f71b 100644
--- a/src/ast/sls/sls_arith_clausal.cpp
+++ b/src/ast/sls/sls_arith_clausal.cpp
@@ -223,7 +223,7 @@ namespace sls {
             lookahead(u.m_var, u.m_delta);
 
 //        verbose_stream() << a.m_updates.size() << " " << m_num_lookaheads << " lookaheads\n";
-        ctx.rlimit().inc(1 + m_num_lookaheads/10);
+        ctx.rlimit().inc(1 + m_num_lookaheads);
         critical_move(m_best_var, m_best_delta, mt);        
         return m_best_var;
     }