diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-11T21·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-11T21·59+0000 |
| commit | 7d4567f2cc16959e827f542e6de76a28ff11789e (patch) | |
| tree | fc68581e60d9f29359173ce8b5398d36b9ee125c /src/libexpr/expr-to-xml.cc | |
| parent | b4e012ab4d8ef2f9091c1e8d14e059b38a2e4529 (diff) | |
* Removed URIs from the evaluator (NIX-66). They are now just another
kind of notation for strings.
Diffstat (limited to 'src/libexpr/expr-to-xml.cc')
| -rw-r--r-- | src/libexpr/expr-to-xml.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/libexpr/expr-to-xml.cc b/src/libexpr/expr-to-xml.cc index 085488bb5dd5..195cbd7b852a 100644 --- a/src/libexpr/expr-to-xml.cc +++ b/src/libexpr/expr-to-xml.cc @@ -36,9 +36,6 @@ static void printTermAsXML(Expr e, XMLWriter & doc, ATermList & context) else if (matchPath(e, s)) doc.writeEmptyElement("path", singletonAttrs("value", aterm2String(s))); - else if (matchUri(e, s)) - doc.writeEmptyElement("uri", singletonAttrs("value", aterm2String(s))); - else if (matchNull(e)) doc.writeEmptyElement("null"); |