diff --git a/src/tgbaalgos/sccfilter.cc b/src/tgbaalgos/sccfilter.cc index a7d20fc7d..e5710fbf3 100644 --- a/src/tgbaalgos/sccfilter.cc +++ b/src/tgbaalgos/sccfilter.cc @@ -19,7 +19,6 @@ #include "sccfilter.hh" #include "reachiter.hh" -#include "scc.hh" #include "sccinfo.hh" namespace spot diff --git a/src/tgbaalgos/sccfilter.hh b/src/tgbaalgos/sccfilter.hh index 5001c5667..b63b669db 100644 --- a/src/tgbaalgos/sccfilter.hh +++ b/src/tgbaalgos/sccfilter.hh @@ -26,7 +26,6 @@ namespace spot { - class scc_map; class scc_info;