Clean up some header files and fix compilation with MSC.
[ginac.git] / check / timer.cpp
index 01a7c793e5d0ad332628ef9fff6ee20b5b1a4590..46d173f0205625a7f44bdc60367d078118592de0 100644 (file)
@@ -22,7 +22,6 @@
 
 #ifdef HAVE_RUSAGE
 #include <sys/resource.h>
-#include <unistd.h>
 #include <sys/time.h>
 #else
 #include <ctime>