diff options
Diffstat (limited to 'org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java')
| -rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java b/org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java index a46cf4b8e..c03c2f3ec 100644 --- a/org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/search/LocalSearchManager.java @@ -365,7 +365,7 @@ public class LocalSearchManager { HashSet<String> set = new HashSet<>(); addSearchBindings(set); // must ask global search participants directly - SearchParticipant[] gps = getGlobalParticipants(); + SearchParticipant[] gps = getGlobalParticipants(); for (int i = 0; i < gps.length; i++) { Set<String> ids; try { |