* src/tgba/tgbareduc.hh: Include tgbaalgos/gtec/nsheap.hh,

not tgbaalgos/gtec/status.hh.

* src/tgba/tgbareduc.hh: Include tgbaalgos/gtec/nsheap.hh,
not tgbaalgos/gtec/status.hh.
3763c2c1 · Alexandre Duret-Lutz · 0222c5e1 · 3763c2c1
Commit 3763c2c1 authored Dec 10, 2004 by Alexandre Duret-Lutz
--- 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>