Make the return type of throwException to be the translation of the codomain type assigned to fail by the typechecker (as opposed to always being void).
Make the return type of throwException to be the translation
of the codomain type assigned to fail by the typechecker
(as opposed to always being void).


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

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