Delete a lot of tex stuff, better debug info

Some other stuff, too, I think. Oh well. No biggie!

1 files changed, 6 insertions, 4 deletions

diff --git a/impl/VariableAssignment.hpp b/impl/VariableAssignment.hpp
index ead7c67..371ba56 100644
--- a/impl/VariableAssignment.hpp
+++ b/impl/VariableAssignment.hpp
@@ -34,7 +34,7 @@ struct DynamicVariableAssignment : public VariableAssignment<Domain> {
   }
 
   void invalidate(const Variable<Domain>& x) const {
-    log::fixpoint << "\tInvalidating " << x << std::endl;
+    log::fixpoint << indent() << "Invalidating " << x << std::endl;
     _stable.remove(x);
     _values[x] = infinity<Domain>();
   }
@@ -44,10 +44,12 @@ private:
   void solve(const Variable<Domain>& x) const {
     if (!_stable.contains(x)) {
       _stable.insert(x);
-      log::fixpoint << "\tStabilise " << x << std::endl;
+      log::fixpoint << indent() << "Stabilise " << x << std::endl;
 
+      stack_depth++;
       Domain val = _system[x]->eval(DependencyAssignment(*this, x),
                                     _strategy);
+      stack_depth--;
 
       if (val != _values[x]) {
         log::fixpoint << x << " = " << val << std::endl;
@@ -66,10 +68,10 @@ private:
           solve(_system.variable(*it));
         }
       } else {
-        log::fixpoint << "\t" << x << " did not change" << std::endl;
+        log::fixpoint << indent() << x << " did not change" << std::endl;
       }
     } else {
-      log::fixpoint << "\t" << x << " is stable" << std::endl;
+      log::fixpoint << indent() << x << " is stable" << std::endl;
     }
   }