Fixed a typo in an error message in with-print-controls.

Quoting :doc note-6-5:

  The utility [save-exec] has a new (optional) keyword argument,
  :init-forms, which specifies a list of forms to evaluate when first
  entering the ACL2 read-eval-print loop, [lp]. Thanks to Jared Davis
  for requesting this enhancement.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1330 5d84a466-a78b-0930-a311-59b22171a541
Forgot to include hons-wash in the following fix made in a recent
check-in; rectifying that now:

  Fixed a bug in hons-clear and hons-wash that was failing to free up to
  two fast alists.  Thanks to Jared Davis for providing a fix.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1331 5d84a466-a78b-0930-a311-59b22171a541