From 8d461b25bdda88a198914b8180c6c1c55fd0e735 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 19 Oct 2017 11:45:44 +0200
Subject: [PATCH] bin: add shorthand for ltl3tela

That's the new name of ltl3hoa.

* bin/common_trans.cc: Add it.
---
 bin/common_trans.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/common_trans.cc b/bin/common_trans.cc
index 20c8ca495..dba69ef38 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" },
   };