From 940092a97576e4397c394e92d97ff591e986a4f0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 14 Oct 2014 15:00:24 -0700 Subject: [PATCH] fix(kernel/constraint): bug in operator<< --- src/kernel/constraint.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/kernel/constraint.cpp b/src/kernel/constraint.cpp index 9d1ffe1de..821286c98 100644 --- a/src/kernel/constraint.cpp +++ b/src/kernel/constraint.cpp @@ -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; }