michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix space

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-07-28 23:14:27 -07:00
parent 279e524c9e
commit 299ec9c254
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/environment.cpp
View file

@ -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";