* src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03.hh: Include

misc/optionmap.hh.

ChangeLog

+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'.

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;

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;