From 73e74c0ad3f97162d4802dcb04a9e404bccc2d36 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 Aug 2014 10:33:10 +0200 Subject: [PATCH] * src/tgbaalgos/sccfilter.cc, src/tgbaalgos/sccfilter.hh: Cleanup. --- src/tgbaalgos/sccfilter.cc | 1 - src/tgbaalgos/sccfilter.hh | 1 - 2 files changed, 2 deletions(-) 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;