* GCC 4.1 compatibility.

This commit is contained in:
Eelco Dolstra 2006-03-06 14:40:10 +00:00
parent c8bfb11b34
commit fa72ae1e9c

View file

@ -29,7 +29,7 @@ public:
ATermMap(const ATermMap & map);
~ATermMap();
ATermMap & ATermMap::operator = (const ATermMap & map);
ATermMap & operator = (const ATermMap & map);
void set(ATerm key, ATerm value);
void set(const string & key, ATerm value);