Don't rely on implicit promotion of float to double in printf args.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 22 Nov 2011 16:40:37 +0000 (16:40 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 22 Nov 2011 16:41:48 +0000 (16:41 +0000)
commit9b102aae65449a8d321e8cf44a3993af558291db
tree307c7ff57f84f87cab48805ed66c4e5c9bf279e1
parent99ec97dcdfaf242ba0683a230ba51e4a87f7458b
Don't rely on implicit promotion of float to double in printf args.
df/output.c
generator/generator_fish.ml