This test was redefining many library functions to run interpreted!
This test was redefining many library functions to run interpreted!

Now it at least compiles the functions it is loading..

(Sheesh...)


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

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