changeset 1879 | 01d41844ef46 |
parent 1878 | 409a31271efd |
child 1884 | 9c061834b33b |
1.1 --- a/gui/algobox.h Thu Jan 05 12:30:09 2006 +0000 1.2 +++ b/gui/algobox.h Thu Jan 05 16:54:34 2006 +0000 1.3 @@ -33,7 +33,7 @@ 1.4 void emit_tab_change(); 1.5 1.6 void update_tablist( std::vector< std::string > tl ); 1.7 - void update_maplist( void * ); 1.8 + void update_maplist( MapStorage * ); 1.9 1.10 void nodemaplist_changed(std::string); 1.11 void edgemaplist_changed(std::string);