From 5d3b00b5ea0c964b6085cb99afbd5f8ce8e8edc0 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 9 Apr 2020 11:46:54 -0700
Subject: [PATCH] build fix

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/random_updater_def.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";);
 }
 
 }