Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-06-21 22:26:38 -0700 (Mon, 21 Jun 2004) Revision: 5993 Log message:
Used Jason's print_rbuffer suggestion to make sure that check_all output is reasonable.