gui/algowin.cc
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  }