diff -r 0bc5f7f66bfa -r d3c4d99860a9 src/include/skeletons/maps.h
--- a/src/include/skeletons/maps.h	Sat Apr 03 18:42:39 2004 +0000
+++ b/src/include/skeletons/maps.h	Sat Apr 03 20:33:05 2004 +0000
@@ -78,7 +78,7 @@
       /// @brief Constructor that copies all keys from the other map and
       /// assigns to them a default value (optional)
       template<typename T1>
-      ReadWritableMap(const ReadWritableMap<K,T1> &map, const T1 &v) {}
+      ReadWritableMap(const ReadWritableMap<K,T1> &map, const ValueType &v) {}
 
       ReadWritableMap() {}
     };
@@ -119,7 +119,7 @@
       /// @brief Constructor that copies all keys from the other map and
       /// assigns to them a default value (optional)
       template<typename T1>
-      DereferableMap(const DereferableMap<K,T1> &map, const T1 &v) {}
+      DereferableMap(const DereferableMap<K,T1> &map, const ValueType &v) {}
 
       DereferableMap() {}
     };