From fb0849f43b82f277c283517816987fcb7708154c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Nov 2014 16:54:12 +0100
Subject: [PATCH] * src/bin/dstar2tgba.cc: Remove a useless include.

---
 src/bin/dstar2tgba.cc | 1 -
 1 file changed, 1 deletion(-)

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"