Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-09 14:14:56 -0700 (Thu, 09 Aug 2007)
Revision: 11951
Log message:

      Update the whitespace.  I have no idea why the indentation on line 295 looked
     correct in emacs and omake was happy.