Clean up server code to remove a lint

Change-Id: Id7ccca9e2f11580c1a9263ad59c1f9279d89bada
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/123740
Auto-Submit: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Ari Aye <ariaye@google.com>
Reviewed-by: Ari Aye <ariaye@google.com>
This commit is contained in:
Brian Wilkerson 2019-10-31 16:42:33 +00:00 committed by commit-bot@chromium.org
parent e56612020c
commit f78e5463c9

View file

@ -194,7 +194,7 @@ class CompletionRanking {
completionSuggestions.forEach((completionSuggestion) {
completionSuggestion.relevance = relevance;
});
if (!includedSuggestions.isEmpty) {
if (includedSuggestions.isNotEmpty) {
includedSuggestions.forEach((includedSuggestion) {
includedSuggestion.relevanceBoost = relevance;
});