Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-08-02 20:14:38 -0700 (Sun, 02 Aug 1998) Revision: 2395 Log message:
Call write_profiling() before exiting