From de925ea4263640c57c0108d1671b9527a8085c19 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 16 Jun 2016 12:56:56 +0000
Subject: [PATCH] fix in the Android UI

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

diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
index a998ce373..4f39a04e1 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
@@ -296,7 +296,7 @@ public class AlternativesActivity extends ListActivity {
 				mAllTopics[i++] = entry.getValue();
 			}
 			if (addOther) {
-				Expr topicExpr = Expr.readExpr("other_1_A");
+				Expr topicExpr = Expr.readExpr("other_A");
 				String name = mTranslator.linearizeSource(topicExpr);
 				mOtherTopic = new Topic(name, topicExpr);
 				mAllTopics[i++] = mOtherTopic;