On 03/20/2013 02:11 AM, Rico Schüller wrote: > Hi, > > this patch disables the print_float function, which is only used in > the already disabled main function. > > Cheers > Rico > > --- Thanks. I'll push these patches soon, after cleaning up the commit messages a bit. -Brian