fix printSpecExpanded (used by showx) to use verbose printer to display everything (was showing nothing!)
fix printSpecExpanded (used by showx) to use verbose printer to display everything
(was showing nothing!)


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2914 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware