Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-08-24 15:48:50 -0700 (Mon, 24 Aug 1998) Revision: 2447 Log message:
They are SOVar's, not TVar's.