removed timestamp.

This commit is contained in:
norayr 2017-05-19 07:03:06 +04:00
parent dd5877f90f
commit 4412d4803e

View file

@ -1,4 +1,4 @@
MODULE time; (*noch 19.5.2017 / 19.5.2017*)
MODULE time;
IMPORT SYSTEM;
PROCEDURE -Aincludesystime '#include <sys/time.h>'; (* for gettimeofday *)