diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java index 3afd267c5..7797363f1 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -319,19 +319,18 @@ public class Translator { Concr sourceLang = getSourceConcr(); Concr targetLang = getTargetConcr(); - Expr expr = sourceLang.parseBest(getGrammar().getStartCat(), input); - int count = NUM_ALT_TRANSLATIONS; for (ExprProb ep : sourceLang.parse(getGrammar().getStartCat(), input)) { if (count-- <= 0) break; exprs.add(ep); - output = targetLang.linearize(expr); + if (output == null) + output = targetLang.linearize(ep.getExpr()); } } catch (ParseError e) { output = translateByLookup(input); } - + return new Pair>(output, exprs); }