From 40bb883497111745e3fabe4b988e130e0046ffb4 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 27 Feb 2008 15:09:27 +0000
Subject: [PATCH] Fixed the printf specifiers on float and double items for
 printing errors

---
 tock_support.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tock_support.h b/tock_support.h
index 61c2a87..c370a39 100644
--- a/tock_support.h
+++ b/tock_support.h
@@ -222,7 +222,7 @@ MAKE_ALL_SIGNED(int64_t, "%lld")
 //}}}
 // FIXME range checks for float and double shouldn't work this way
 //{{{ float
-MAKE_RANGE_CHECK(float, "%d")
+MAKE_RANGE_CHECK(float, "%f")
 MAKE_ADD(float)
 MAKE_SUBTR(float)
 MAKE_MUL(float)
@@ -231,7 +231,7 @@ MAKE_NEGATE(float)
 MAKE_DUMB_REM(float)
 //}}}
 //{{{ double
-MAKE_RANGE_CHECK(double, "%d")
+MAKE_RANGE_CHECK(double, "%f")
 MAKE_ADD(double)
 MAKE_SUBTR(double)
 MAKE_MUL(double)