--- es2.py- 2016-08-31 00:00:00.000000000 +0900 +++ es2.py 2016-08-31 00:01:00.000000000 +0900 @@ -3,7 +3,7 @@ import sys def es_split(s): - tbl = [ '/*', '*/', '(', ')', ';', ',' ] + tbl = [ '/*', '*/', '(', ')', ';', ',', '*', '"' ] for s1 in tbl: d = ' ' + s1 + ' ' s = s.replace(s1, d)