diff src/oct-map.h @ 4817:6430596f2238

[project @ 2004-03-04 21:13:33 by jwe]
author jwe
date Thu, 04 Mar 2004 21:13:33 +0000
parents d3bd9c04147f
children c638c144d4da
line wrap: on
line diff
--- a/src/oct-map.h
+++ b/src/oct-map.h
@@ -101,7 +101,7 @@
 
   const_iterator seek (const std::string& k) const { return map.find (k); }
 
-  int contains (const std::string& k) const
+  bool contains (const std::string& k) const
     { return (seek (k) != map.end ()); }
 
   void clear (void) { map.clear (); }