changeset 1879 | 01d41844ef46 |
parent 1878 | 409a31271efd |
child 1884 | 9c061834b33b |
1.1 --- a/gui/algowin.cc Thu Jan 05 12:30:09 2006 +0000 1.2 +++ b/gui/algowin.cc Thu Jan 05 16:54:34 2006 +0000 1.3 @@ -71,7 +71,7 @@ 1.4 ab->update_tablist(tabnames); 1.5 } 1.6 1.7 -void AlgoWin::update_maplist(void * mapstorage) 1.8 +void AlgoWin::update_maplist(MapStorage * mapstorage) 1.9 { 1.10 ab->update_maplist(mapstorage); 1.11 }