Fix UX_times problem in OS_real_time_clock.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 31 Jul 1991 14:37:20 +0000 (14:37 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 31 Jul 1991 14:37:20 +0000 (14:37 +0000)
commit6db98ac6f10cd774ba280f7ba79fac281e7ca217
treee3f3126cb65420c09f0e9aeeb2c6522dad70a6e4
parent90a6f780279cf7e5de9f4292793464fbd34ec897
Fix UX_times problem in OS_real_time_clock.
v7/src/microcode/uxenv.c