tree db7638f1473e725f8754ac4e746198b8270ca821
parent 746c79668ead3da7f54320cc0d528747d2db3b77
author Jon Tate <jonathantate@google.com> 1631216887 +0000
committer Jon Tate <jonathantate@google.com> 1631219641 +0000

Quick fix for the floating point printer

Forgot to make it C-friendly by encapsulating the 'extern "C"' in an '#ifdef
__cplusplus' block.

Change-Id: I62988f4dea725f119027224d7d7beac1556c2621