Replace Sys.time by Unix.time in main.ml.
-rw-r--r-- 4142 .gitignore
-rw-r--r-- 57 Changes.txt
-rw-r--r-- 1224 INSTALL.txt
-rw-r--r-- 35147 LICENSE.txt
-rw-r--r-- 1610 Makefile
-rw-r--r-- 2021 README.txt
drwxr-xr-x - benchmarks
-rwxr-xr-x 330 configure
drwxr-xr-x - examples
drwxr-xr-x - interpreter
drwxr-xr-x - lib