char *buffer;
int ret;
- ret = asprintf (&buffer, "%.30Lg", value_as_double (from));
+ ret = asprintf (&buffer, "%.30" DOUBLEST_PRINT_FORMAT,
+ value_as_double (from));
if (ret < 0)
error (_("Error in memory allocation for conversion to decimal float."));
/* Converts a decimal float of LEN bytes to a double value. */
DOUBLEST
-decimal_to_double (const gdb_byte *from, int len)
+decimal_to_doublest (const gdb_byte *from, int len)
{
char buffer[MAX_DECIMAL_STRING];