d8f92b1f63
* gdb.base/varargs.c (find_max_double): Fix printf format string: first arg is int not float.
* gdb.base/varargs.c (find_max_double): Fix printf format string: first arg is int not float.