diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-24T16·49+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-07-24T16·49+0000 |
| commit | 7a3a5d1608254565030ae8ceb593605962a2614e (patch) | |
| tree | a77a54edcff99905f75873e8fab949c9e2ccb1ba /src/libexpr/eval.cc | |
| parent | f4c5531d928caadee75d66bba40994f55f839be7 (diff) | |
* When there is a domain check, we have to evaluate the argument.
Can't be lazy!
Diffstat (limited to 'src/libexpr/eval.cc')
| -rw-r--r-- | src/libexpr/eval.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc index 06bf671e2a20..f1a600103d61 100644 --- a/src/libexpr/eval.cc +++ b/src/libexpr/eval.cc @@ -56,6 +56,7 @@ static Expr substArgs(EvalState & state, ATermList valids; if (matchValidValues(valids2, valids)) { + value = evalExpr(state, value); bool found = false; for (ATermIterator j(valids); j; ++j) { Expr v = evalExpr(state, *j); |