From 70b6bcf8eb45de5c30108dd12baad6b34d085635 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 25 Mar 2009 16:36:23 +0100
Subject: [PATCH] * src/tgbaalgos/scc.hh: Add missing misc/hash.hh inclusion.

---
 ChangeLog            | 4 ++++
 src/tgbaalgos/scc.hh | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 4539abd24..4946f6012 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2009-03-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbaalgos/scc.hh: Add missing misc/hash.hh inclusion.
+
 2009-02-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgba/tgbaproduct.cc (tgba_succ_iterator_product::first):
diff --git a/src/tgbaalgos/scc.hh b/src/tgbaalgos/scc.hh
index 825cc8d94..bba2156a1 100644
--- a/src/tgbaalgos/scc.hh
+++ b/src/tgbaalgos/scc.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2008  Laboratoire de Recherche et Developpement de
+// Copyright (C) 2008, 2009  Laboratoire de Recherche et Developpement de
 // l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -25,6 +25,7 @@
 #include <stack>
 #include "tgba/tgba.hh"
 #include <iosfwd>
+#include "misc/hash.hh"
 
 namespace spot
 {