diff options
| -rw-r--r-- | Zend/zend_execute_API.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index fcff45adb0..150b4f4a39 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -264,7 +264,7 @@ void shutdown_executor(TSRMLS_D) while (EG(symtable_cache_ptr)>=EG(symtable_cache)) { zend_hash_destroy(*EG(symtable_cache_ptr)); - efree(*EG(symtable_cache_ptr)); + FREE_HASHTABLE(*EG(symtable_cache_ptr)); EG(symtable_cache_ptr)--; } } zend_end_try(); |