diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
| commit | 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb (patch) | |
| tree | 02a4f4136e50af3865df5acefc9174f73004c10a /impl/Operator.hpp | |
| parent | 35d53c78a4afd739d1246db486f2703e44590eda (diff) | |
Delete a lot of tex stuff, better debug info
Some other stuff, too, I think. Oh well. No biggie!
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 { |