diff options
author | Dmitry Stogov <dmitry@php.net> | 2009-03-18 10:41:39 +0000 |
---|---|---|
committer | Dmitry Stogov <dmitry@php.net> | 2009-03-18 10:41:39 +0000 |
commit | c6e55db5349971779016be29bd11332398a7c1a1 (patch) | |
tree | 84d853a9956af24168b23f00587997921d2d7f17 | |
parent | 31c0af245e7601f3c3c870c20a57e9cf8634bb7b (diff) | |
download | php-git-c6e55db5349971779016be29bd11332398a7c1a1.tar.gz |
Forgotten include
-rw-r--r-- | Zend/zend_execute_API.c | 1 |
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 |