> I think down the end, next to the annotate_stop() call, would be better.

Yes, makes sense, new patch attached.

> I'm assuming that the secret agenda is to replace all annotate_xxx() and 
> xxx_hook() calls with a equivalent observer_notify_xxx() call.  Hence, 
> adding an observer_xxx() call where ever either of the former appears 
> should be pretty obvious and largely mechanical.

That'd be nice.

2003-03-18  J. Brobecker  <brobecker@gnat.com>

        * infrun.c (observer.h): Add #include.
        (normal_stop): Add call to observer_notify_normal_stop.
        * Makefile.in (infrun.o): Add dependency on observer.h.

-- 
Joel