xdot: take a double instead of a float parameter in 'printFloat'

Every call to this function passes a double. This change squashes 12
-Wfloat-conversion warnings.

diff --git a/lib/xdot/xdot.c b/lib/xdot/xdot.c
index ac2ba196c9e8cf598a1d657e2e3f399b71a5be38..4d8f54df0a24d1ebee81bd096b8162c8b12f58b4 100644 (file)
--- a/lib/xdot/xdot.c
+++ b/lib/xdot/xdot.c
@@ -467,8 +467,7 @@ static void printInt(int i, pf print, void *info)
     print(buf, info);
 }
 
-static void printFloat(float f, pf print, void *info, int space)
-{
+static void printFloat(double f, pf print, void *info, int space) {
     char buf[128];
 
     if (space)