diff options
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"); |