Fix scrub comments for empty block comment /**/

Fixes #5219
This commit is contained in:
Jakub Valtar
2017-09-20 14:58:41 +02:00
parent 8bf2ec1c6f
commit fbc7befa84

View File

@@ -284,7 +284,7 @@ public class SourceUtils {
}
break;
case IN_BLOCK_COMMENT:
if (pch == '*' && ch == '/' && (i - blockStart) > 1) {
if (pch == '*' && ch == '/' && (i - blockStart) > 0) {
state = OUT;
}
break;