diff -r 409a31271efd -r 01d41844ef46 gui/algobox.h
--- a/gui/algobox.h	Thu Jan 05 12:30:09 2006 +0000
+++ b/gui/algobox.h	Thu Jan 05 16:54:34 2006 +0000
@@ -33,7 +33,7 @@
   void emit_tab_change();
 
   void update_tablist( std::vector< std::string > tl );
-  void update_maplist( void * );
+  void update_maplist( MapStorage * );
 
   void nodemaplist_changed(std::string);
   void edgemaplist_changed(std::string);