diff --git a/src/bin/dstar2tgba.cc b/src/bin/dstar2tgba.cc
index 3b17203b2..54d7b38e4 100644
--- 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"