Move call to "time" outside main evaluation function so that closure for it isn't created unnecessarily.
Move call to "time" outside main evaluation function so that closure
for it isn't created unnecessarily.


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

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