From 6f000fb16bf91293b5e38fc35d97c329501e9719 Mon Sep 17 00:00:00 2001
From: Martin Ettl <ettl.martin78@googlemail.com>
Date: Sun, 11 Jan 2015 09:58:15 +0100
Subject: [PATCH] Fixed #6407: Add support for C++11 float_t and double_t
 types.

---
 cfg/std.cfg | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 790319e72..cc8a7162e 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3775,6 +3775,8 @@
   <podtype name="uint_fast64_t" sign="u"/>
   <podtype name="intptr_t" sign="s"/>
   <podtype name="uintptr_t" sign="u"/>
+  <podtype name="double_t"/>
+  <podtype name="float_t"/>
   <!--Not part of standard, but widely supported by runtime libraries-->
   <function name="itoa">
     <noreturn>false</noreturn>