- added registry for print_context classes (use print_context_class_info::dump_hierar...

[ginac.git] / check / times.h

diff --git a/check/times.h b/check/times.h
index 5d53b9f3858bcee7abb0f3ddd1f3e854f2587b27..85052de0bb56427dbe1c3ce06e3d1d920aba0084 100644 (file)
--- a/check/times.h
+++ b/check/times.h
@@ -23,7 +23,6 @@
 #ifndef CHECKS_H
 #define CHECKS_H
 
-#include <sys/resource.h>
 #include <cstdlib>
 #include <iostream>
 #include <sstream>
@@ -33,18 +32,7 @@
 using namespace std;
 using namespace GiNaC;
 
-class timer {
-public:
-       timer();
-       void start(void);
-       void stop(void);
-       void reset(void);
-       double read(void);
-       bool running(void);
-private:
-       bool on;
-       struct rusage used1, used2;
-};
+#include "timer.h"
 
 // prototypes for all individual timings should be unsigned fcn():
 unsigned time_dennyfliegner();