From 0c2c12a80f4d6d857e6f729b6d43d100420a75a7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 Dec 2004 08:33:32 +0000
Subject: [PATCH] * src/tgbaalgos/ndfs_result.hh: Include misc/hash.hh.

---
 ChangeLog                    | 4 ++++
 src/tgbaalgos/ndfs_result.hh | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 0a2d675fb..92794dc1b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-12-17  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/ndfs_result.hh: Include misc/hash.hh.
+
 2004-12-16  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/reducerun.cc (reduce_run): Do not call erase() after
diff --git a/src/tgbaalgos/ndfs_result.hh b/src/tgbaalgos/ndfs_result.hh
index cbedaba43..810e61fb6 100644
--- a/src/tgbaalgos/ndfs_result.hh
+++ b/src/tgbaalgos/ndfs_result.hh
@@ -37,6 +37,7 @@
 #include "emptiness.hh"
 #include "emptiness_stats.hh"
 #include "bfssteps.hh"
+#include "misc/hash.hh"
 
 /// FIXME:
 /// * Add the necessary calls to pop_notify.