Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-04-15 15:53:39 -0700 (Fri, 15 Apr 2005) Revision: 858 Log message:
Trivial: couple of simbols were defined twice.