diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 17:09:49 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 17:09:49 +1000 |
| commit | 5cdc743d491a04ee0446bd757cedb4c7b6bc585f (patch) | |
| tree | f9096fd6a5b8c8c9ec33719158a3d7ffdf3b25df /impl/Expression.hpp | |
| parent | 8040a5fd511912cb2141e46e5ca9eb1ab766133e (diff) | |
Cleaning up a bit of code around the place.
- Especially making logging a bit nicer.
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); |