Quoting :doc note-6-4:

  Fixed :[pbt] to avoid printing the bodies of [defconst] forms. Thanks
  to Jared Davis for pointing out the large output when the body is a
  large character string.


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