From 8a7254e4f9108593063c24b79d41726246eb4d6d Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 16 Nov 2015 20:03:40 +0000
Subject: [PATCH] bugfix in Translator.java

---
 .../src/org/grammaticalframework/ui/android/Translator.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 e6d5362f3..13b224b5b 100644
--- 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,