Hack superlative for now

This commit is contained in:
Panupong Pasupat 2017-08-29 06:05:44 -07:00
parent c7726bae0b
commit 922946cf0b
1 changed files with 1 additions and 1 deletions

View File

@ -269,7 +269,7 @@ public final class DenotationUtils {
default: throw new LambdaDCSException(Type.invalidFormula, "Unknown superlative mode: %s", mode);
}
int from = Math.min(rank - 1, indices.size()),
to = Math.min(from + count, indices.size());
to = Math.min(Math.max(from, from + count), indices.size());
for (int index : indices.subList(from, to))
answer.add(pairs.get(index).getSecond());
}