From 14b63ee87dde3688fea7e58fa25b73362117ae11 Mon Sep 17 00:00:00 2001
From: valmat <ufabiz@gmail.com>
Date: Thu, 10 Apr 2014 13:04:34 +0600
Subject: Fixed problem with duplicate names ini entries. Mentioned
 https://github.com/CopernicaMarketingSoftware/PHP-CPP/issues/64#issuecomment-39838004
 Now in the case of duplication name of ini entriy the new value overrides the
 old one. Before was incorrect handling of this situation.

---
 zend/includes.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'zend/includes.h')

diff --git a/zend/includes.h b/zend/includes.h
index e7dece9..4aa5eb0 100644
--- a/zend/includes.h
+++ b/zend/includes.h
@@ -15,6 +15,7 @@
 #include <initializer_list>
 #include <vector>
 #include <map>
+#include <set>
 #include <memory>
 #include <list>
 #include <exception>
-- 
cgit v1.2.3