From 3763c2c16b8f7048a2ffbdd76486ff470c52166a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 10 Dec 2004 18:22:33 +0000
Subject: [PATCH] * src/tgba/tgbareduc.hh: Include tgbaalgos/gtec/nsheap.hh,
 not tgbaalgos/gtec/status.hh.

---
 src/tgba/tgbareduc.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgba/tgbareduc.hh b/src/tgba/tgbareduc.hh
index 7992a5805..9b08a2543 100644
--- a/src/tgba/tgbareduc.hh
+++ b/src/tgba/tgbareduc.hh
@@ -25,7 +25,7 @@
 #include "tgbaexplicit.hh"
 #include "tgbaalgos/reachiter.hh"
 #include "tgbaalgos/gtec/explscc.hh"
-#include "tgbaalgos/gtec/status.hh"
+#include "tgbaalgos/gtec/nsheap.hh"
 
 #include <list>