Fixed a recently introduced bug in the generation of *1* functions.
(In a misguided attempt to improve performance, I included the
original definition's type declarations in the *1* function
definitions.)  Thanks to Jared Davis for sending a useful bug report,
with a backtrace from SBCL 1.2.0 showing the problem.  (This is a
great example of how supporting builds on several Lisps can uncover
bugs.)

After the fix, I was able to build ACL2 in SBCL 1.2.0 and with
safety 3 in CCL, both of which failed before the fix.


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