# 
# patch "ui.cc"
#  from [bf5397526968d5189f12fef56ecd4990f622beef]
#    to [b06e19535d68d00f01c8ab33848e79f1942c9532]
# 
# patch "ui.hh"
#  from [7cdd4335a8fa4b4828470eb69b363792bd0a5ce8]
#    to [abe095ea2f6eae5256674235337553e076336f7a]
# 
--- ui.cc
+++ ui.cc
@@ -129,7 +129,12 @@
   clog.flush();
 }
 
+void tick_write_count::clear_line()
+{
+  clog << endl;
+}
 
+
 tick_write_dot::tick_write_dot()
 {
 }
@@ -187,7 +192,12 @@
   clog.flush();
 }
 
+void tick_write_dot::clear_line()
+{
+  clog << endl;
+}
 
+
 user_interface::user_interface() :
   last_write_was_a_tick(false),
   t_writer(0)
@@ -212,7 +222,7 @@
       last_write_was_a_tick)
     {
       tick_trailer = "";
-      clog << endl;
+      t_writer->clear_line();
       last_write_was_a_tick = false;
     }
 }
@@ -283,7 +293,7 @@
   if (last_write_was_a_tick)
     {
       write_ticks();
-      clog << endl;
+      t_writer->clear_line();
     }
   last_write_was_a_tick = false;
 }
--- ui.hh
+++ ui.hh
@@ -37,6 +37,7 @@
   tick_writer() {}
   virtual ~tick_writer() {}
   virtual void write_ticks() = 0;
+  virtual void clear_line() = 0;
 };
 
 struct tick_write_count : virtual public tick_writer
@@ -45,6 +46,7 @@
   tick_write_count();
   ~tick_write_count();
   void write_ticks();
+  void clear_line();
 private:
   size_t last_tick_len;
 };
@@ -55,6 +57,7 @@
   tick_write_dot();
   ~tick_write_dot();
   void write_ticks();
+  void clear_line();
 private:
   std::map<std::string,size_t> last_ticks;
 };
@@ -63,6 +66,7 @@
 {
 public:
   void write_ticks() {}
+  void clear_line() {}
 };
 
 struct user_interface