diff options
Diffstat (limited to 'impl/Expression.hpp')
| -rw-r--r-- | impl/Expression.hpp | 4 |
1 files changed, 1 insertions, 3 deletions
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<Domain> { template<typename Domain> struct MaxExpression : public OperatorExpression<Domain> { MaxExpression(const unsigned int& id, const Maximum<Domain>& op, const std::vector<Expression<Domain>*>& arguments) - : OperatorExpression<Domain>(op, arguments), _id(id) { - log::debug << "Op id" << id; - } + : OperatorExpression<Domain>(op, arguments), _id(id) { } virtual Domain eval(const VariableAssignment<Domain>& rho, const MaxStrategy<Domain>& strat) const { return this->_arguments[strat.get(*this)]->eval(rho, strat); |