From 7455fd88356fdb58db3fbf01c68de86b06c18747 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 14 Aug 2006 14:24:18 +0000
Subject: [PATCH] * Put the value in an attribute.

---
 src/nix-instantiate/main.cc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/nix-instantiate/main.cc b/src/nix-instantiate/main.cc
index f8b0f3a20..b781e2f2a 100644
--- a/src/nix-instantiate/main.cc
+++ b/src/nix-instantiate/main.cc
@@ -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);
                     }
                 }
             }