Fix unserialize

diff --git a/ext/standard/var_unserializer.re b/ext/standard/var_unserializer.re
index 883e372ce63edd516aded9dc93edb9db9fc9c550..2f8da9a5d6129f424e25965b249850722a0ac825 100644 (file)
--- a/ext/standard/var_unserializer.re
+++ b/ext/standard/var_unserializer.re
@@ -111,7 +111,7 @@ PHPAPI void var_destroy(php_unserialize_data_t *var_hashx)
 
 /*!re2c
 iv = [+-]? [0-9]+;
-nv = [+-]? ([0-9]* "." [0-9]+|[0-9]+ "." [0-9]+);
+nv = [+-]? ([0-9]* "." [0-9]+|[0-9]+ "." [0-9]*);
 nvexp = (iv | nv) [eE] [+-]? iv;
 any = [\000-\277];
 */