#
#
# patch "ui.cc"
#  from [e64ea21d8abb194088212e7404910acd62d71655]
#    to [ce45b19f80bed7ea0757018608b2d2e7691cf17f]
#
============================================================
--- ui.cc	e64ea21d8abb194088212e7404910acd62d71655
+++ ui.cc	ce45b19f80bed7ea0757018608b2d2e7691cf17f
@@ -97,7 +97,7 @@ ticker::operator++()
   I(ui.imp);
   I(ui.imp->tickers.find(keyname) != ui.imp->tickers.end());
   ticks++;
-  ui.some_tick_is_dirty = true;
+  ui.imp->some_tick_is_dirty = true;
   if (ticks % mod == 0)
     ui.write_ticks();
 }
@@ -105,7 +105,8 @@ ticker::operator--()
 void 
 ticker::operator--()
 {
-  I(ui.tickers.find(name) != ui.tickers.end());
+  I(ui.imp);
+  I(ui.imp->tickers.find(keyname) != ui.imp->tickers.end());
   I(ticks);
   ticks--;
   ui.imp->some_tick_is_dirty = true;