index 3d7acab950267735d40360d50728f32a1f74bbbc..e0e00d8c986a92e96c351be4411965276884d87e 100644 (file)
MODULE HostDates;
- IMPORT Dates, Strings, time := C99time;
+ IMPORT Dates, Strings, time := PosixCtime;
(* add localization? *)