Fixed bug introduced in revision 1330 for save-exec enhancement
(keyword :init-forms).  Thanks to Jared Davis for bringing this bug to
my attention.

Trivially tweaked a examples of :init-forms in :doc save-exec.


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