From 7bbe3f557378052608d6586cd1fdd784c378b104 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 20 Feb 2005 22:19:15 +0000
Subject: [PATCH] * src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03.hh: Include
 misc/optionmap.hh.

---
 ChangeLog                 | 5 +++++
 src/tgbaalgos/tau03.hh    | 2 ++
 src/tgbaalgos/tau03opt.hh | 2 ++
 3 files changed, 9 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ad3cc32ab..2b614393c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-02-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03.hh: Include
+	misc/optionmap.hh.
+
 2005-02-18  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* bench/emptchk/README: Document the file `algorithms'.
diff --git a/src/tgbaalgos/tau03.hh b/src/tgbaalgos/tau03.hh
index 0e386e049..db78c3f93 100644
--- a/src/tgbaalgos/tau03.hh
+++ b/src/tgbaalgos/tau03.hh
@@ -22,6 +22,8 @@
 #ifndef SPOT_TGBAALGOS_TAU03_HH
 # define SPOT_TGBAALGOS_TAU03_HH
 
+#include "misc/optionmap.hh"
+
 namespace spot
 {
   class tgba;
diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh
index 2d2449356..b8f693ad6 100644
--- a/src/tgbaalgos/tau03opt.hh
+++ b/src/tgbaalgos/tau03opt.hh
@@ -22,6 +22,8 @@
 #ifndef SPOT_TGBAALGOS_TAU03OPT_HH
 # define SPOT_TGBAALGOS_TAU03OPT_HH
 
+#include "misc/optionmap.hh"
+
 namespace spot
 {
   class tgba;