From 5cdc743d491a04ee0446bd757cedb4c7b6bc585f Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Mon, 9 Jul 2012 17:09:49 +1000 Subject: Cleaning up a bit of code around the place. - Especially making logging a bit nicer. --- impl/Expression.hpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'impl/Expression.hpp') diff --git a/impl/Expression.hpp b/impl/Expression.hpp index 508d7ad..01921b6 100644 --- a/impl/Expression.hpp +++ b/impl/Expression.hpp @@ -122,9 +122,7 @@ struct OperatorExpression : public Expression { template struct MaxExpression : public OperatorExpression { MaxExpression(const unsigned int& id, const Maximum& op, const std::vector*>& arguments) - : OperatorExpression(op, arguments), _id(id) { - log::debug << "Op id" << id; - } + : OperatorExpression(op, arguments), _id(id) { } virtual Domain eval(const VariableAssignment& rho, const MaxStrategy& strat) const { return this->_arguments[strat.get(*this)]->eval(rho, strat); -- cgit v1.2.3