From 3e1a1abd5dda9aa2ae6e34f2237137f83a998f4f Mon Sep 17 00:00:00 2001
From: sun <sun@unleashedmind.com>
Date: Tue, 7 Aug 2012 09:40:56 +0200
Subject: [PATCH] Force the value of Dumper::setIndentation($num) to be of type
 integer.

---
 src/Symfony/Component/Yaml/Dumper.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Symfony/Component/Yaml/Dumper.php b/src/Symfony/Component/Yaml/Dumper.php
index 5e0482fabd..220cb39742 100644
--- a/src/Symfony/Component/Yaml/Dumper.php
+++ b/src/Symfony/Component/Yaml/Dumper.php
@@ -32,7 +32,7 @@ class Dumper
      */
     public function setIndentation($num)
     {
-        $this->indentation = $num;
+        $this->indentation = (int) $num;
     }
 
     /**