| changeset 794 | c5990f454032 |
| parent 493 | 3f0ddf255524 |
| child 761 | f1398882a928 |
| 1:3bef95956be2 | 2:546b6a08f780 |
|---|---|
38 #define MY_LOCALE LOCALE_NEUTRAL |
38 #define MY_LOCALE LOCALE_NEUTRAL |
39 #endif |
39 #endif |
40 #else |
40 #else |
41 #include <unistd.h> |
41 #include <unistd.h> |
42 #include <ctime> |
42 #include <ctime> |
43 #ifndef WIN32 |
|
43 #include <sys/times.h> |
44 #include <sys/times.h> |
45 #endif |
|
44 #include <sys/time.h> |
46 #include <sys/time.h> |
45 #endif |
47 #endif |
46 |
48 |
47 #include <cmath> |
49 #include <cmath> |
48 #include <sstream> |
50 #include <sstream> |