summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDmitry Stogov <dmitry@php.net>2009-03-18 10:41:39 +0000
committerDmitry Stogov <dmitry@php.net>2009-03-18 10:41:39 +0000
commitc6e55db5349971779016be29bd11332398a7c1a1 (patch)
tree84d853a9956af24168b23f00587997921d2d7f17
parent31c0af245e7601f3c3c870c20a57e9cf8634bb7b (diff)
downloadphp-git-c6e55db5349971779016be29bd11332398a7c1a1.tar.gz
Forgotten include
-rw-r--r--Zend/zend_execute_API.c1
1 files changed, 1 insertions, 0 deletions
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