@@ -1,7 +1,7 @@
#ifndef _COUNTER_H
#define _COUNTER_H
-#include <stdlib.h>
+#include <stdio.h>
void counter_release(void);
void counter_create(unsigned long, FILE *);