From 9a0c509a6ef0ad40275597ad34e1c0ba10088c05 Mon Sep 17 00:00:00 2001
From: Andreas Braun <git@alcaeus.org>
Date: Mon, 15 Apr 2019 13:56:01 +0200
Subject: [PATCH] Add missing pool option to cache_driver type

---
 Resources/config/schema/doctrine-1.0.xsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Resources/config/schema/doctrine-1.0.xsd b/Resources/config/schema/doctrine-1.0.xsd
index 1d1dcac09..bb56bb608 100644
--- a/Resources/config/schema/doctrine-1.0.xsd
+++ b/Resources/config/schema/doctrine-1.0.xsd
@@ -164,6 +164,7 @@
 
         <xsd:attribute name="type" type="xsd:string" />
         <xsd:attribute name="id" type="xsd:string" />
+        <xsd:attribute name="pool" type="xsd:string" />
         <xsd:attribute name="namespace" type="xsd:string" />
     </xsd:complexType>