timer_info reports incorrect times.



>>>>> "willisb" == willisb  <willisb@unk.edu> writes:

    willisb> (defun micro-to-sec (runtime)
    willisb>    (mul runtime 1.0e-6 '$sec))

    willisb> to

    willisb> defun micro-to-sec (runtime)
    willisb>    (mul runtime 1.0e-2 '$sec))

I've commited the fix:

(defun micro-to-sec (runtime)
    (mul runtime (float (/ internal-time-units-per-second)) '$sec))

Please give this a try when you get a chance.  Your example produces
the desired results.

Ray