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

Use char* for keys, not std::string.

ChangeLog

+2005-02-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/emptiness_stats.hh (unsigned_statistics::stats_map_):
+	Use char* for keys, not std::string.
+
 2005-02-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* tgbaalgos/emptiness_stats.hh (unsigned_statistics): New base

src/tgbaalgos/emptiness_stats.hh

@@ -24,7 +24,6 @@
 
 #include <cassert>
 #include <map>
-#include <string>
 
 namespace spot
 {
@@ -51,7 +50,7 @@ namespace spot
 
   protected:
     typedef unsigned (unsigned_statistics::*unsigned_fun_)() const;
-    typedef std::map<std::string, unsigned_fun_> stats_map_;
+    typedef std::map<const char*, unsigned_fun_> stats_map_;
     stats_map_ stats_;
   };