Moved getcputime() into statistics.*
[cacao.git] / toolbox / logging.h
index b5fffacc76fa425088530a0c5ea883d95af6f1f5..bde9f78b9f1fbb8f90719ffeeec554e596b49a06 100644 (file)
@@ -27,7 +27,7 @@
 
    Authors: Reinhard Grafl
 
-   $Id: logging.h 1086 2004-05-26 21:22:05Z twisti $
+   $Id: logging.h 1245 2004-06-30 20:15:25Z twisti $
 
 */
 
@@ -65,8 +65,6 @@ void panic(char *txt);
 
 FILE *get_logfile(); /* return the current logfile */
 
-s8 getcputime();
-
 #endif /* _LOGGING_H */