From 5046f6d9db272bddfd09e0cec586fe7a368a02d0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 Mar 2013 10:54:04 +0100 Subject: [PATCH] * src/tgbaalgos/isweakscc.cc: Remove useless guards. --- src/tgbaalgos/isweakscc.cc | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/tgbaalgos/isweakscc.cc b/src/tgbaalgos/isweakscc.cc index 1777840da..1f217f67e 100644 --- a/src/tgbaalgos/isweakscc.cc +++ b/src/tgbaalgos/isweakscc.cc @@ -16,9 +16,6 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . -#ifndef SPOT_TGBAALGOS_ISWEAKSCC_CC -# define SPOT_TGBAALGOS_ISWEAKSCC_CC - #include "cycles.hh" #include "tgba/tgbaexplicit.hh" #include "ltlast/formula.hh" @@ -182,5 +179,3 @@ namespace spot && is_complete_scc(map, scc)); } } - -#endif // SPOT_TGBAALGOS_ISWEAKSCC_CC