Changes by: Alexei Kopylov (kopylov at cs.caltech.edu) Date: 2003-12-08 16:04:14 -0800 (Mon, 08 Dec 2003) Revision: 5173 Log message:
Fixed a bug in assumC