From 527ac404a124a574321bdcc209fd4f30d05d7144 Mon Sep 17 00:00:00 2001
From: Rasmus Lerdorf <rasmus@php.net>
Date: Mon, 1 Apr 2013 16:27:09 -0700
Subject: [PATCH] The printf modifier for a double is just %f

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

diff --git a/.gdbinit b/.gdbinit
index e7a565dfa9c..b14b03da9fe 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -106,7 +106,7 @@ define dump_bt
 						printf "%ld", $zvalue->value.lval
 					end
 					if $type == 2
-						printf "%lf", $zvalue->value.dval
+						printf "%f", $zvalue->value.dval
 					end
 					if $type == 3
 						if $zvalue->value.lval
@@ -185,7 +185,7 @@ define ____printzv_contents
 		printf "long: %ld", $zvalue->value.lval
 	end
 	if $type == 2
-		printf "double: %lf", $zvalue->value.dval
+		printf "double: %f", $zvalue->value.dval
 	end
 	if $type == 3
 		printf "bool: "