about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-07-24T16·49+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-07-24T16·49+0000
commit7a3a5d1608254565030ae8ceb593605962a2614e (patch)
treea77a54edcff99905f75873e8fab949c9e2ccb1ba /src
parentf4c5531d928caadee75d66bba40994f55f839be7 (diff)
* When there is a domain check, we have to evaluate the argument.
  Can't be lazy!

Diffstat (limited to 'src')
-rw-r--r--src/libexpr/eval.cc1
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);