Searched refs:old_observers (Results 1 – 1 of 1) sorted by relevance
58 boost::contract::old_ptr<std::vector<observer const*> > old_observers; in attach() local60 old_observers = BOOST_CONTRACT_OLDOF(observers()); in attach()71 *old_observers, observers(), ob)); in attach()