diff src/oct-map.h @ 5882:ef3127d910bc

[project @ 2006-07-14 05:30:40 by jwe]
author jwe
date Fri, 14 Jul 2006 05:30:40 +0000
parents 70b3f8f1a793
children fe5cedbf3806
line wrap: on
line diff
--- a/src/oct-map.h
+++ b/src/oct-map.h
@@ -98,7 +98,8 @@
 	{
 	  map.erase (p);
 
-	  key_list_iterator q = find (key_list.begin (), key_list.end (), k);
+	  key_list_iterator q
+	    = std::find (key_list.begin (), key_list.end (), k);
 
 	  assert (q != key_list.end ());