From 735c5794a003124f5924753472b190a2cb332824 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 23 May 2019 15:29:45 +0200
Subject: [PATCH] SPL is always there

---
 ext/php_driver.h | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/ext/php_driver.h b/ext/php_driver.h
index 10680d22..bc42b6fc 100644
--- a/ext/php_driver.h
+++ b/ext/php_driver.h
@@ -46,12 +46,8 @@ typedef int pid_t;
 #  error PHP 5.6.0 or later is required in order to build the driver
 #endif
 
-#if HAVE_SPL
-#  include <ext/spl/spl_iterators.h>
-#  include <ext/spl/spl_exceptions.h>
-#else
-#  error SPL must be enabled in order to build the driver
-#endif
+#include <ext/spl/spl_iterators.h>
+#include <ext/spl/spl_exceptions.h>
 
 #include "version.h"