diff options
Diffstat (limited to 'impl/Operator.hpp')
-rw-r--r-- | impl/Operator.hpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/impl/Operator.hpp b/impl/Operator.hpp index 0c6e9df..e8d6ca7 100644 --- a/impl/Operator.hpp +++ b/impl/Operator.hpp @@ -128,10 +128,6 @@ struct Guard : public Operator<Domain> { if (arguments[0] < arguments[1]) { result = -infinity<Domain>(); } - log::operators << "Guard: " - << arguments[0] << " >= " << arguments[1] - << " ? " << arguments[2] - << " -> " << result << std::endl; return result; } void print(std::ostream& cout) const { |