| author | Mark Christiaens | 2010-09-28 09:51:57 (EDT) |
|---|---|---|
| committer | Knut Wannheden | 2011-04-28 05:18:05 (EDT) |
| commit | 707cb536df8c0085bdfc5b5045219de70f5b9897 (patch) (side-by-side diff) | |
| tree | 1ff38aacc0b335f341e7167b4bc624865dce77fc | |
| parent | 086ce92bf8df062bcfb53c4a61a5cf7c50de35eb (diff) | |
| download | org.eclipse.xtext-707cb536df8c0085bdfc5b5045219de70f5b9897.zip org.eclipse.xtext-707cb536df8c0085bdfc5b5045219de70f5b9897.tar.gz org.eclipse.xtext-707cb536df8c0085bdfc5b5045219de70f5b9897.tar.bz2 | |
Using the iterator instead of the index.
| -rw-r--r-- | plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/FastDamagerRepairer.java | 3 |
1 files changed, 1 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 8d33fe2..801f07e 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 @@ -210,8 +210,7 @@ public class FastDamagerRepairer extends AbstractDamagerRepairer { while (true) { if (!tokenInfosCopyIt.hasNext()) break; - tokenInfo = tokenInfos.get(tokenInfoIdx); - TokenInfo tokenInfoCopy = tokenInfosCopyIt.next(); + tokenInfo = tokenInfosCopyIt.next(); if (token.getStartIndex() >= afterRegion) { if (tokenStartsAt == token.getStartIndex() && !tokenCorrespondsToTokenInfo(token, tokenInfo)) { |