bugfix in Translator.java

2026-04-16 08:19:31 -06:00 · 2015-11-16 20:03:40 +00:00
parent e7b75332a0
commit fe003097e1
1 changed files with 1 additions and 1 deletions
--- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
@@ -379,7 +379,7 @@ public class Translator {
 		if (targetLang.hasLinearization(lemma) && 
 		    targetLang.hasLinearization("Inflection"+cat)) {
 			if (def == null)
-				def = new Expr("NoDefinition");
+				def = Expr.readExpr("NoDefinition");

 			Expr e = new Expr("MkDocument", 
 			                  def,