* Cleanup.

2007-01-13 14:21:49 +00:00
parent 1b7840b949
commit 11158028be
6 changed files with 16 additions and 16 deletions
@@ -44,7 +44,7 @@ static void printTermAsXML(Expr e, XMLWriter & doc, PathSet & context)

    else if (matchAttrs(e, as)) {
        XMLOpenElement _(doc, "attrs");
-        ATermMap attrs(128);
+        ATermMap attrs;
        queryAllAttrs(e, attrs);
        StringSet names;
        for (ATermMap::const_iterator i = attrs.begin(); i != attrs.end(); ++i)