diff --git a/bin/common_trans.cc b/bin/common_trans.cc
index f88118f30..d254e2806 100644
--- a/bin/common_trans.cc
+++ b/bin/common_trans.cc
@@ -54,6 +54,8 @@ static shorthands_t shorthands_ltl[] = {
     { "ltl3ba", " -f %s>%O" },
     { "ltl3dra", " -f %s>%O" },
     { "ltl3hoa", " -f %f>%O" },
+    // ltl3tela is the new name of ltl3hoa
+    { "ltl3tela", " -f %f>%O" },
     { "modella", " %[MWei^]L %O" },
     { "spin", " -f %s>%O" },
   };