Fix use of dtoastr from gnulib.
authorMichael Welsh Duggan <md5i@md5i.com>
Mon, 14 Feb 2011 22:25:29 +0000 (17:25 -0500)
committerChong Yidong <cyd@stupidchicken.com>
Mon, 14 Feb 2011 22:25:29 +0000 (17:25 -0500)
commit75b43359dd68edd356d9f611ebc3dd5b477fa637
tree2a2deaeb8fc360762e77a4596d6c7e1b65c511f9
parentaa0935b987a4a10e8adcd1af64ea4fc10e860e54
Fix use of dtoastr from gnulib.

* src/print.c (float_to_string): Ensure that a decimal point is
printed if using dtoastr (Bug#8033).
src/ChangeLog
src/print.c