* src/bin/dstar2tgba.cc: Remove a useless include.

fb0849f4 · Alexandre Duret-Lutz · 622fe08f · fb0849f4
Commit fb0849f4 authored Nov 19, 2014 by Alexandre Duret-Lutz
--- a/src/bin/dstar2tgba.cc
+++ b/src/bin/dstar2tgba.cc
@@ -30,7 +30,6 @@
 #include "common_cout.hh"
 #include "common_post.hh"

-#include "ltlast/formula.hh"
 #include "tgbaalgos/dotty.hh"
 #include "tgbaalgos/lbtt.hh"
 #include "tgbaalgos/hoaf.hh"