diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-11 13:36:40 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-11 13:36:40 +0000 |
commit | 5664b6d7ba28453ccdd6d1c07a707f98608500ff (patch) | |
tree | 60daaa7ce7b53cbfe2ec2a86aeb4eca792ccf7ca /src/libexpr/expr-to-xml.cc | |
parent | b455c4c45cba49397952e662cace85aedb6848fe (diff) |
* Removed the "valid values" feature. Nobody uses it anyway.
Diffstat (limited to 'src/libexpr/expr-to-xml.cc')
-rw-r--r-- | src/libexpr/expr-to-xml.cc | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/libexpr/expr-to-xml.cc b/src/libexpr/expr-to-xml.cc index 947e62879..c47f24e6c 100644 --- a/src/libexpr/expr-to-xml.cc +++ b/src/libexpr/expr-to-xml.cc @@ -113,17 +113,9 @@ static void printTermAsXML(Expr e, XMLWriter & doc, PathSet & context, XMLOpenElement _(doc, "function"); for (ATermIterator i(formals); i; ++i) { - Expr name; ValidValues valids; ATerm dummy; - if (!matchFormal(*i, name, valids, dummy)) abort(); + Expr name; ATerm dummy; + if (!matchFormal(*i, name, dummy)) abort(); XMLOpenElement _(doc, "arg", singletonAttrs("name", aterm2String(name))); - - ATermList valids2; - if (matchValidValues(valids, valids2)) { - for (ATermIterator j(valids2); j; ++j) { - XMLOpenElement _(doc, "value"); - printTermAsXML(*j, doc, context, drvsSeen); - } - } } } |