* Put the value in an attribute.

This commit is contained in:
Eelco Dolstra 2006-08-14 14:24:18 +00:00
parent 4250b641d8
commit 7455fd8835

View file

@ -60,8 +60,9 @@ static void printResult(EvalState & state, Expr e,
if (matchValidValues(valids, valids2)) {
for (ATermIterator j(valids2); j; ++j) {
Expr e = evalExpr(state, *j);
XMLOpenElement elem(doc, "value");
doc.writeCharData(showValue(e));
XMLAttrs attrs;
attrs["value"] = showValue(e);
XMLOpenElement elem(doc, "value", attrs);
}
}
}