fix in the renaming

2014-04-22 11:55:22 +00:00
parent c032781095
commit 5847f8e18f
1 changed files with 1 additions and 1 deletions
--- a/src/ui/android/src/org/grammaticalframework/ui/android/HLCompiler.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/HLCompiler.java
@@ -2,7 +2,7 @@ package org.grammaticalframework.ui.android;

 import android.app.Application;

-public class DGTranslator extends Application {
+public class HLCompiler extends Application {
 	private Translator mTranslator;

 	@Override