From c6e55db5349971779016be29bd11332398a7c1a1 Mon Sep 17 00:00:00 2001
From: Dmitry Stogov <dmitry@php.net>
Date: Wed, 18 Mar 2009 10:41:39 +0000
Subject: [PATCH] Forgotten include

---
 Zend/zend_execute_API.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c
index 99c8dc3638..bb12d46fbc 100644
--- a/Zend/zend_execute_API.c
+++ b/Zend/zend_execute_API.c
@@ -32,6 +32,7 @@
 #include "zend_exceptions.h"
 #include "zend_closures.h"
 #include "zend_vm.h"
+#include "zend_float.h"
 #ifdef HAVE_SYS_TIME_H
 #include <sys/time.h>
 #endif
-- 
2.50.1