| author | Mark Christiaens | 2010-09-28 09:44:54 (EDT) |
|---|---|---|
| committer | Knut Wannheden | 2011-04-28 05:18:04 (EDT) |
| commit | 086ce92bf8df062bcfb53c4a61a5cf7c50de35eb (patch) (side-by-side diff) | |
| tree | 565b3cc78996b26f23cd108b9a9704e39f237401 | |
| parent | 3a3c7aac29aadd7cd86b112c27046603456833b5 (diff) | |
| download | org.eclipse.xtext-086ce92bf8df062bcfb53c4a61a5cf7c50de35eb.zip org.eclipse.xtext-086ce92bf8df062bcfb53c4a61a5cf7c50de35eb.tar.gz org.eclipse.xtext-086ce92bf8df062bcfb53c4a61a5cf7c50de35eb.tar.bz2 | |
Replaced a test
| -rw-r--r-- | plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java b/plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java index aac5b2d..8d33fe2 100644 --- a/plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java +++ b/plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java @@ -205,10 +205,10 @@ public class FastDamagerRepairer extends AbstractDamagerRepairer { while (true) { boolean removed = false; - if (token == Token.EOF_TOKEN || tokenInfoIdx >= tokenInfos.size()) + if (token == Token.EOF_TOKEN || !tokenInfosCopyIt.hasNext()) break; while (true) { - if (tokenInfoIdx >= tokenInfos.size()) + if (!tokenInfosCopyIt.hasNext()) break; tokenInfo = tokenInfos.get(tokenInfoIdx); TokenInfo tokenInfoCopy = tokenInfosCopyIt.next(); |