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

fix(kernel/constraint): bug in operator<<

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-14 15:00:24 -07:00
parent a30232b99a
commit 940092a975
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/kernel/constraint.cpp
View file

@ -143,7 +143,10 @@ std::ostream & operator<<(std::ostream & out, constraint const & c) {
break;
case constraint_kind::Choice:
out << "choice ";
if (cnstr_delay_factor(c) != 0) out << "[delayed:" << cnstr_delay_factor(c) << "] ";
if (cnstr_on_demand(c))
out << "[on-demand]";
else if (cnstr_delay_factor(c) != 0)
out << "[delayed:" << cnstr_delay_factor(c) << "] ";
out << cnstr_expr(c);
break;
}