Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-07-15 11:50:45 -0700 (Fri, 15 Jul 2005) Revision: 7613 Log message:
Minor optimization.