Fix win32 build

diff --git a/ext/date/php_date.c b/ext/date/php_date.c
index 751376e960f9bfb9205c96627ae9f0e7c793b7a1..47b860c2f8de570ea2faa1640594d778e60cabfc 100644 (file)
--- a/ext/date/php_date.c
+++ b/ext/date/php_date.c
@@ -434,7 +434,7 @@ PHP_FUNCTION(strtotime)
 
 PHPAPI void php_mktime(INTERNAL_FUNCTION_PARAMETERS, int gmt)
 {
-       long hou, min, sec, mon, day, yea, dst = -1;;
+       long hou, min, sec, mon, day, yea, dst = -1;
        timelib_time *now;
        timelib_tzinfo *tzi;
        long ts, adjust_seconds = 0;