From b53bc488470008ca5ab39b81bce2d8c53647db11 Mon Sep 17 00:00:00 2001
From: Zeev Suraski <zeev@php.net>
Date: Fri, 26 Nov 1999 18:37:06 +0000
Subject: [PATCH] This should get the file to close properly

---
 Zend/zend-scanner.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Zend/zend-scanner.l b/Zend/zend-scanner.l
index d08b1864dc..9cbe91ecae 100644
--- a/Zend/zend-scanner.l
+++ b/Zend/zend-scanner.l
@@ -186,7 +186,7 @@ BEGIN_EXTERN_C()
 ZEND_API void zend_open_file_dtor(void *f)
 {
 #ifdef ZTS
-	delete *((istream **) f);
+	delete *((ifstream **) f);
 #else
 	fclose(*((FILE **) f));
 #endif
-- 
2.50.1