From 7a3a5d1608254565030ae8ceb593605962a2614e Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 24 Jul 2006 16:49:28 +0000
Subject: [PATCH] * When there is a domain check, we have to evaluate the
 argument.   Can't be lazy!

---
 src/libexpr/eval.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc
index 06bf671e2..f1a600103 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);