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 {