Index: include/print.h
===================================================================
--- include/print.h	(revision 623ba26cebeeb6b5afb464b85e601401a15fb7ee)
+++ include/print.h	(revision 60f6b7c45ff45619f5a597a76dd55463fc15ceef)
@@ -37,4 +37,5 @@
 #define INT64	8
 
+static void print_double(double num,__u16 precision) ;
 static void print_str(const char *str);
 static void print_fixed_hex(const __u64 num, const int width);