* src/tgbaalgos/emptiness_stats.hh (unsigned_statistics::stats_map_):

Use char_ptr_less_than.

ChangeLog

 2005-02-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/emptiness_stats.hh (unsigned_statistics::stats_map_):
+	Use char_ptr_less_than.
+
 	* src/misc/ltstr.hh: New file.
 	* src/misc/Makefile.am (misc_HEADERS): Add it.
 

src/tgbaalgos/emptiness_stats.hh

@@ -24,6 +24,7 @@
 
 #include <cassert>
 #include <map>
+#include "misc/ltstr.hh"
 
 namespace spot
 {
@@ -50,7 +51,8 @@ namespace spot
 
   protected:
     typedef unsigned (unsigned_statistics::*unsigned_fun_)() const;
-    typedef std::map<const char*, unsigned_fun_> stats_map_;
+    typedef std::map<const char*, unsigned_fun_,
+		     char_ptr_less_than> stats_map_;
     stats_map_ stats_;
   };