fix compilation: Eclipse does not like some weird Scala ambiguity.
@@ -26,6 +26,7 @@ import ap.types.Sort;
import com.google.common.collect.ArrayListMultimap;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableSet;
+import com.google.common.collect.Iterables;
import com.google.common.collect.Multimap;
import java.util.ArrayList;
import java.util.Collection;
@@ -130,8 +131,7 @@ class PrincessModel extends CachingAbstractModel<IExpression, Sort, PrincessEnvi
} else if (key instanceof IFunApp) {
IFunApp cKey = (IFunApp) key;
if ("valueAlmostEverywhere".equals(cKey.fun().name())
- && cKey.args().length() == 1
- && creator.getEnv().hasArrayType(cKey.args().apply(0))) {
+ && creator.getEnv().hasArrayType(Iterables.getOnlyElement(asJava(cKey.args())))) {
return ImmutableList.of();
}
if (ExtArray.Select$.MODULE$.unapply(cKey.fun()).isDefined()) {
