gui/mapstorage.cc
changeset 1888 eed01ce27087
parent 1881 f40cdc2057c2
child 1939 591e717155ac
     1.1 --- a/gui/mapstorage.cc	Mon Jan 09 12:41:06 2006 +0000
     1.2 +++ b/gui/mapstorage.cc	Tue Jan 10 15:15:57 2006 +0000
     1.3 @@ -51,8 +51,9 @@
     1.4    }
     1.5  }
     1.6  
     1.7 -int MapStorage::addNodeMap(const std::string & name, Graph::NodeMap<double> *nodemap, double default_value = 0.0)
     1.8 +int MapStorage::addNodeMap(const std::string & name, Graph::NodeMap<double> *nodemap, double default_value)
     1.9  {
    1.10 +  std::cout << default_value << std::endl;
    1.11    if( nodemap_storage.find(name) == nodemap_storage.end() )
    1.12      {
    1.13        nodemap_storage[name]=nodemap;
    1.14 @@ -122,7 +123,7 @@
    1.15    return signal_prop;
    1.16  }
    1.17  
    1.18 -int MapStorage::addEdgeMap(const std::string & name, Graph::EdgeMap<double> *edgemap, double default_value = 0.0)
    1.19 +int MapStorage::addEdgeMap(const std::string & name, Graph::EdgeMap<double> *edgemap, double default_value)
    1.20  {
    1.21    if( edgemap_storage.find(name) == edgemap_storage.end() )
    1.22      {