minor tweak to profiled code

Henry Cejtin henry@sourcelight.com
Fri, 22 Jun 2001 18:57:45 -0500


The  only  case when the $$End labels tell you any thing is at the end of the
file.  Here it will keep you from charging the last label in  the  file  with
things  in  the  next  loaded  file  that come before any label.  I certainly
wouldn't complain about being fooled in that case.