From 299ec9c254807a3e06b32d082743cd39dc2e40be Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 28 Jul 2013 23:14:27 -0700 Subject: [PATCH] Fix space Signed-off-by: Leonardo de Moura --- src/kernel/environment.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/environment.cpp b/src/kernel/environment.cpp index a54ae47d7..077060553 100644 --- a/src/kernel/environment.cpp +++ b/src/kernel/environment.cpp @@ -126,7 +126,7 @@ struct environment::imp { unsigned num = u_dists.size(); for (uvar v2 = 0; v2 < num; v2++) { if (v2 != uvar_idx(u) && u_dists[v2] != uninit) { - out << uvar_name(u) << " >= " << uvar_name(m_uvars[v2]); + out << uvar_name(u) << " >= " << uvar_name(m_uvars[v2]); if (u_dists[v2] > 0) out << " + " << u_dists[v2]; out << "\n";