Merge pull request #5265 from JakubValtar/fix-scrub-comments

Fix scrub comments for empty block comment /**/
This commit is contained in:
Ben Fry
2017-09-22 11:17:28 -04:00
committed by GitHub
@@ -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;