add get_timer function and comments

2018-11-11 19:14:06 -03:00
parent 16cf47155e
commit 051f6b75e0
2 changed files with 23 additions and 1 deletions
--- a/src/include/timer.h
+++ b/src/include/timer.h
@@ -18,4 +18,5 @@
 	void start_timer();
 	void stop_timer();
 	void print_timer();
+	long int get_timer();
 #endif