summaryrefslogtreecommitdiff
path: root/ext/dom/php_dom.c
diff options
context:
space:
mode:
authorWez Furlong <wez@php.net>2003-08-19 01:30:27 +0000
committerWez Furlong <wez@php.net>2003-08-19 01:30:27 +0000
commit9ada9e57678dd24979125e5e682a82d25dce6f87 (patch)
tree401947b2927002f463fdfb13e47cc6e2e35a310d /ext/dom/php_dom.c
parent1205b6473ea151cc943434cd84c496d982483a41 (diff)
downloadphp-git-9ada9e57678dd24979125e5e682a82d25dce6f87.tar.gz
fix build
Diffstat (limited to 'ext/dom/php_dom.c')
-rw-r--r--ext/dom/php_dom.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/ext/dom/php_dom.c b/ext/dom/php_dom.c
index e1c45281f6..11f7f9684b 100644
--- a/ext/dom/php_dom.c
+++ b/ext/dom/php_dom.c
@@ -32,7 +32,6 @@
#if HAVE_DOM
-#include "zend_execute_locks.h"
#include "ext/standard/info.h"
#define PHP_XPATH 1
#define PHP_XPTR 2