diff --git a/src/math/lp/random_updater_def.h b/src/math/lp/random_updater_def.h
index 711d0d77f..a2c6ffc8e 100644
--- a/src/math/lp/random_updater_def.h
+++ b/src/math/lp/random_updater_def.h
@@ -75,7 +75,7 @@ void random_updater::update() {
             }
         }            
     }
-    TRACE("lar_solver_rand", tout << "m_var_set.size() = " << m_var_set.size() << ", m_values.size() = " << m_values.size() << "\n";);
+    TRACE("lar_solver_rand", tout << "m_var_set.size() = " << m_var_set.size() << "\n";);
 }
 
 }